Input/output compatibility of reactive systems

DOI10.1007/3-540-36126-X_22MaRDI QIDQ4427917zbMATH OpenFDO

Authors Josep Carmona, Jordi Cortadella

Publication date 14 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2517/25170360.htm

zbMATH Keywords

ConformationInput/Output compatibilityObservational equivalencePetri netsReactive systemsSynchronous productTrace theory

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer science aspects of computer-aided design (68U07)

Recommendations

• Synthesis of reactive systems: Application to asynchronous circuit design
• Compatibility properties of synchronously and asynchronously communicating components
• Petri net reactive modules
• Specification of asynchronous component systems with modal I/O-Petri nets
• Synthesis: words and traces

Cited in

(7)

• Responsiveness of interoperating components
• Moving from interface theories to assembly theories
• Component refinement and CSC-solving for STG decomposition
• Transformations in Reconfigurable Place/Transition Systems
• Compatibility in a multi-component environment
• Can we communicate? Using dynamic logic to verify team automata
• Featured Team Automata

This page was built for publication: Input/output compatibility of reactive systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4427917)