On the diversity of asynchronous communication

DOI10.1007/S00165-016-0379-XzbMATH Open1345.68022OpenAlexW2346504990MaRDI QIDQ315311FDOQ315311

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

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

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)

Cites Work

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

Cited In (7)

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

Uses Software

• SPIN
• CADP
• PlusCal
• FDR2
• BESERIAL

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)