Compatibility properties of synchronously and asynchronously communicating components

DOI10.23638/LMCS-14(1:1)2018MaRDI QIDQ4600773zbMATH OpenFDO

Authors Rolf Hennicker, Michel Bidoit

Publication date 12 January 2018

Full work available at URL https://arxiv.org/abs/1611.03656

zbMATH Keywords

distributed systemssynchronous and asynchronous communicationverification of interaction compatibility

Mathematics Subject Classification ID

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Synchronous development of asynchronous systems
• Synchronous and Bidirectional Component Interfaces
• On deciding synchronizability for asynchronously communicating systems
• Synchronizability for Verification of Asynchronously Communicating Systems
• scientific article; zbMATH DE number 1361122

Cites work

• A modal interface theory for component-based design
• Channel Properties of Asynchronously Composed Petri Nets
• Compatibility and inheritance in software architectures
• Compatibility in a multi-component environment
• Compositionality of safe communication in systems of team automata
• Context-Bounded Analysis of Concurrent Queue Systems
• Decidable topologies for communicating automata with FIFO and bag channels
• Modal I/O Automata for Interface and Product Line Theories
• On Communicating Finite-State Machines
• On weak modal compatibility, refinement, and the MIO workbench
• Synchronizing asynchronous conformance testing
• Verification of programs with half-duplex communication

Cited in

(12)

• Verification of asynchronous systems with an unspecified component
• Responsiveness of interoperating components
• Connecting open systems of communicating finite state machines
• On deciding synchronizability for asynchronously communicating systems
• Compatibility and commutativity of lock modes
• Compatibility in a multi-component environment
• scientific article; zbMATH DE number 1979561 (Why is no real title available?)
• On the preservation of properties when changing communication models
• Can we communicate? Using dynamic logic to verify team automata
• Featured Team Automata
• Safe composition of systems of communicating finite state machines
• Safe orchestrated multicomposition of systems of communicating finite state machines

This page was built for publication: Compatibility properties of synchronously and asynchronously communicating components

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