Asynchronous message orderings beyond causality

DOI10.4230/LIPICS.OPODIS.2017.29MaRDI QIDQ3300832zbMATH OpenFDO

Authors Adam Shimi, Aurélie Hurault, Philippe Quéinnec

Publication date 30 July 2020

zbMATH Keywords

topologycausalityclosureinteriorasynchronous computationspoint-to-point message orderings

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

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

• scientific article; zbMATH DE number 53952 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Beyond Lamport's Happened-before
• Defining liveness
• Detecting causal relationships in distributed computations: In search of the holy grail
• How processes learn
• Knowledge and common knowledge in a distributed environment
• Necessary and sufficient conditions on information for causal message ordering and their optimal implementation
• On the diversity of asynchronous communication
• Synchronizability for Verification of Asynchronously Communicating Systems
• Synchronous, asynchronous, and causally ordered communication
• The topological structure of asynchronous computability
• Time, clocks, and the ordering of events in a distributed system

Cited in

(2)

• On the diversity of asynchronous communication
• scientific article; zbMATH DE number 7407798 (Why is no real title available?)

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)