A Generalised Theory of Interface Automata, Component Compatibility and Error

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

Mathematics Subject Classification ID

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

• Motras
• MIO Workbench
• Mica

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