Causality and atomicity in distributed computations

MaRDI QIDQ5137355zbMATH OpenFDO

Authors Ajay D. Kshemkalyani

Publication date 2 December 2020

Full work available at URL https://link.springer.com/article/10.1007/s004460050048

zbMATH Keywords

atomicitycausalityconcurrencydistributed computationdistributed systemglobal predicatessynchronizationtime

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Reasoning about causality between distributed nonatomic events
• Vector time and causality among abstract events in distributed computations
• Detecting causal relationships in distributed computations: In search of the holy grail
• A framework for viewing atomic events in distributed computations
• From the happened-before relation to the causal ordered set abstraction

Cited in

(12)

• A framework for viewing atomic events in distributed computations
• Detecting causal relationships in distributed computations: In search of the holy grail
• Causal computational complexity of distributed processes
• From the happened-before relation to the causal ordered set abstraction
• scientific article; zbMATH DE number 1569121 (Why is no real title available?)
• Orthogonal relations for reasoning about posets
• Interval approximations of message causality in distributed executions
• Read-write causality
• Vector time and causality among abstract events in distributed computations
• Worlds of events: deduction with partial knowledge about causality
• Causal Atomicity
• Detecting causality in the presence of Byzantine processes: the case of synchronous systems

This page was built for publication: Causality and atomicity in distributed computations

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