Compatibility in a multi-component environment
DOI10.1016/J.TCS.2013.03.006zbMATH Open1292.68107OpenAlexW2157536763WikidataQ62039966 ScholiaQ62039966MaRDI QIDQ383353FDOQ383353
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
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
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Modal I/O Automata for Interface and Product Line Theories
- Title not available (Why is that?)
- Timed I/O automata: a complete specification theory for real-time systems
- Modal Interface Theories for Communication-Safe Component Assemblies
- On weak modal compatibility, refinement, and the MIO workbench
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (10)
- Featured Team Automata
- Connecting open systems of communicating finite state machines
- 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
- Title not available (Why is that?)
- A verification-driven framework for iterative design of controllers
Uses Software
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)
