Asynchronous message orderings beyond causality
From MaRDI portal
Publication:3300832
DOI10.4230/LIPICS.OPODIS.2017.29zbMATH Open1487.68116MaRDI QIDQ3300832FDOQ3300832
Authors: Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Publication date: 30 July 2020
Recommendations
- Synchronous, asynchronous, and causally ordered communication
- On the diversity of asynchronous communication
- First-order axioms for asynchrony
- Interval approximations of message causality in distributed executions
- Necessary and sufficient conditions on information for causal message ordering and their optimal implementation
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Time, clocks, and the ordering of events in a distributed system
- Synchronous, asynchronous, and causally ordered communication
- Knowledge and common knowledge in a distributed environment
- Detecting causal relationships in distributed computations: In search of the holy grail
- Synchronizability for Verification of Asynchronously Communicating Systems
- On the diversity of asynchronous communication
- Necessary and sufficient conditions on information for causal message ordering and their optimal implementation
- The topological structure of asynchronous computability
- Defining liveness
- How processes learn
- Beyond Lamport's Happened-before
Cited In (2)
This page was built for publication: Asynchronous message orderings beyond causality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3300832)