Compatibility in a multi-component environment

DOI10.1016/J.TCS.2013.03.006MaRDI QIDQ383353zbMATH OpenOpenAlexWikidataFDO

Authors Josep Carmona, Jetty 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)

Recommendations

• Communication and synchronization tools in a distributed environment
• Compatibility properties of synchronously and asynchronously communicating components
• scientific article; zbMATH DE number 5198977
• The composability problem of the semantics of XYZ/BE-communicating processes
• Optimal agreement in a scale-free network environment

Cites work

• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 557977 (Why is no real title available?)
• scientific article; zbMATH DE number 1955907 (Why is no real title available?)
• scientific article; zbMATH DE number 1979561 (Why is no real title available?)
• scientific article; zbMATH DE number 2087499 (Why is no real title available?)
• Modal I/O Automata for Interface and Product Line Theories
• Modal Interface Theories for Communication-Safe Component Assemblies
• On weak modal compatibility, refinement, and the MIO workbench
• Timed I/O automata: a complete specification theory for real-time systems

Cited in

(10)

• Connecting open systems of communicating finite state machines
• Featured Team Automata
• Moving from interface theories to assembly theories
• Program Compatibility Approaches
• Can we communicate? Using dynamic logic to verify team automata
• Responsiveness of interoperating components
• Assembly theories for communication-safe component systems
• Compatibility properties of synchronously and asynchronously communicating components
• scientific article; zbMATH DE number 1036744 (Why is no real title available?)
• A verification-driven framework for iterative design of controllers

Describes a project that uses

Uses Software

• Esterel
• MIO Workbench

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

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