Synchronous, asynchronous, and causally ordered communication

DOI10.1007/s004460050018zbMath1448.68079OpenAlexW2023074252MaRDI QIDQ5137015

Friedemann Mattern, Gerard Tel, Bernadette Charron-Bost

Publication date: 30 November 2020

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s004460050018

zbMATH Keywords

communicationdistributed systemmessage passingasynchronous communicationsynchronous communicationdistributed computationcausality relationcausal orderdistributed termination detection

Mathematics Subject Classification ID

Distributed systems (68M14) Distributed algorithms (68W15)

Related Items (11)

A limitation of vector timestamps for reconstructing distributed computations ⋮ Unnamed Item ⋮ On the diversity of asynchronous communication ⋮ On deciding synchronizability for asynchronously communicating systems ⋮ Behavioural semantics for asynchronous components ⋮ A framework for viewing atomic events in distributed computations ⋮ Guessing the Buffer Bound for k-Synchronizability ⋮ Multiparty half-duplex systems and synchronous communications ⋮ Necessary and sufficient conditions on information for causal message ordering and their optimal implementation ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ A modular framework for verifying versatile distributed systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Flush primitives for asynchronous distributed systems
• A calculus of communicating systems
• An axiomatic definition of synchronization primitives
• The causal ordering abstraction and a simple way to implement it
• Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP
• Verifying programs that use causally-ordered message-passing
• Derivation of a termination detection algorithm for distributed computations
• Using message passing for distributed programming: proof rules and disciplines
• The multiway rendezvous
• Process Algebra
• Time, clocks, and the ordering of events in a distributed system
• Communicating sequential processes
• Distributed processes

This page was built for publication: Synchronous, asynchronous, and causally ordered communication