From the happened-before relation to the causal ordered set abstraction

DOI10.1016/J.JPDC.2012.02.015MaRDI QIDQ433461zbMATHOpenAlexFDO

Authors S. E. Pomares Hernandez, J. R. Perez Cruz, Michel Raynal

Publication date 13 July 2012

Published in Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpdc.2012.02.015

zbMATH Keywords

distributed systemsordered setsevent orderinghappened-before relation

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• Vector time and causality among abstract events in distributed computations
• Causality and atomicity in distributed computations
• The causal ordering abstraction and a simple way to implement it
• Detecting causal relationships in distributed computations: In search of the holy grail
• Orthogonal relations for reasoning about posets

Cites work

• A NOTE ON THE DETERMINATION OF THE IMMEDIATE PREDECESSORS IN A DISTRIBUTED COMPUTATION
• Data-stream-based global event monitoring using pairwise interactions
• Interval consistency of asynchronous distributed computations
• On interprocess communication. I: Basic formalism
• State space reduction using partial order techniques
• Time, clocks, and the ordering of events in a distributed system

Cited in

(3)

• Causality and atomicity in distributed computations
• Orthogonal relations for reasoning about posets
• scientific article; zbMATH DE number 1844511 (Why is no real title available?)

This page was built for publication: From the happened-before relation to the causal ordered set abstraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q433461)