Asynchronous message orderings beyond causality

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

zbMATH Keywords

topologycausalityclosureinteriorasynchronous computationspoint-to-point message orderings

Mathematics Subject Classification ID

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

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)

• On the diversity of asynchronous communication
• Title not available (Why is that?)

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)