Synchronous, asynchronous, and causally ordered communication
From MaRDI portal
Publication:5137015
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
communicationdistributed systemmessage passingasynchronous communicationsynchronous communicationdistributed computationcausality relationcausal orderdistributed termination detection
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