A Generalised Theory of Interface Automata, Component Compatibility and Error
From MaRDI portal
Publication:2814126
DOI10.1007/978-3-319-33693-0_11zbMath1354.68173MaRDI QIDQ2814126
Sascha Fendrich, Gerald Lüttgen
Publication date: 17 June 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-33693-0_11
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A generalised theory of interface automata, component compatibility and error, A Generalised Theory of Interface Automata, Component Compatibility and Error
Uses Software
Cites Work
- Moving from interface theories to assembly theories
- Richer interface automata with optimistic and pessimistic compatibility
- A Generalised Theory of Interface Automata, Component Compatibility and Error
- A Compositional Specification Theory for Component Behaviours
- A Modal Interface Theory for Component-based Design
- Error-Pruning in Interface Automata
- On Weak Modal Compatibility, Refinement, and the MIO Workbench
- MoTraS: A Tool for Modal Transition Systems and Their Extensions
- Nondeterministic Modal Interfaces
- Modal I/O Automata for Interface and Product Line Theories