A Generalised Theory of Interface Automata, Component Compatibility and Error
From MaRDI portal
Publication:2814126
DOI10.1007/978-3-319-33693-0_11zbMath1354.68173OpenAlexW2498188086MaRDI 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
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
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