On the diversity of asynchronous communication

DOI10.1007/S00165-016-0379-XMaRDI QIDQ315311zbMATH OpenOpenAlexFDO

Authors Florent Chevrou, Aurélie Hurault, Philippe Quéinnec

Publication date 20 September 2016

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-016-0379-x

zbMATH Keywords

formal verification\(\mathrm{TLA}^{+}\)asynchronous communicationcompatibility checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Recommendations

• Synchronous, asynchronous, and causally ordered communication
• First-order axioms for asynchrony
• Synchronous development of asynchronous systems
• Asynchronous message orderings beyond causality
• scientific article; zbMATH DE number 2017354

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 839561 (Why is no real title available?)
• scientific article; zbMATH DE number 1390334 (Why is no real title available?)
• A calculus of communicating systems
• A calculus of mobile agents
• A generic framework for n-protocol compatibility checking
• CADP 2010: a toolbox for the construction and analysis of distributed processes
• Compatibility and inheritance in software architectures
• Detecting causal relationships in distributed computations: In search of the holy grail
• Distributed Algorithms for Message-Passing Systems
• Distributed Computing
• Formalizing web service choreographies
• Introduction to Distributed Algorithms
• Mobile ambients
• Necessary and sufficient conditions on information for causal message ordering and their optimal implementation
• On Communicating Finite-State Machines
• On the Asynchronous Nature of the Asynchronous π-Calculus
• On the diversity of asynchronous communication
• One logic to use them all
• Synchronizability for Verification of Asynchronously Communicating Systems
• Synchronous, asynchronous, and causally ordered communication
• The PlusCal Algorithm Language
• The causal ordering abstraction and a simple way to implement it
• The chemical abstract machine
• Time, clocks, and the ordering of events in a distributed system

Cited in

(7)

• A modular framework for verifying versatile distributed systems
• On the preservation of properties when changing communication models
• Asynchronous communicating cellular automata: formalization, robustness and equivalence
• Synchronous, asynchronous, and causally ordered communication
• On the diversity of asynchronous communication
• Multiparty half-duplex systems and synchronous communications
• Asynchronous message orderings beyond causality

Describes a project that uses

Uses Software

• BESERIAL
• FDR2
• PlusCal
• CADP
• SPIN

This page was built for publication: On the diversity of asynchronous communication

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