Compatibility in a multi-component environment

DOI10.1016/J.TCS.2013.03.006zbMath1292.68107OpenAlexW2157536763WikidataQ62039966 ScholiaQ62039966MaRDI QIDQ383353

Josep Carmona, H. C. M. Kleijn

Publication date: 4 December 2013

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2013.03.006

zbMATH Keywords

compatibilitymulti-component environmentteam automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Can we communicate? Using dynamic logic to verify team automata ⋮ Assembly Theories for Communication-Safe Component Systems ⋮ Connecting open systems of communicating finite state machines ⋮ Unnamed Item ⋮ A verification-driven framework for iterative design of controllers ⋮ Moving from interface theories to assembly theories

Uses Software

• MIO Workbench
• Esterel

Cites Work

• Timed I/O automata
• Modal Interface Theories for Communication-Safe Component Assemblies
• On Weak Modal Compatibility, Refinement, and the MIO Workbench
• Modal I/O Automata for Interface and Product Line Theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Compatibility in a multi-component environment