Beyond Lamport's Happened-before

DOI10.1145/2542181zbMath1295.68165OpenAlexW2063031064MaRDI QIDQ3189648

Ido Ben-Zvi, Yoram Moses

Publication date: 12 September 2014

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2542181

zbMATH Keywords

knowledgereal-time systemsdistributed computingcoordinationtemporal order

Mathematics Subject Classification ID

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

Related Items

Unnamed Item, Valency-based consensus under message adversaries without limit-closure, A datalog-based computational model for coordination-free, data-parallel systems, Unnamed Item, Unnamed Item, Known Unknowns: Time Bounds and Knowledge of Ignorance, Optimistically tuning synchronous Byzantine consensus: another win for null messages

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic epistemic logic
• How processes learn
• Agreeing to disagree
• A theory of clock synchronization (extended abstract)
• On interactive knowledge with bounded communication
• Agent-Time Epistemics and Coordination
• The topological structure of asynchronous computability
• Knowledge and common knowledge in a distributed environment
• Beyond Lamport’s Happened-Before: On the Role of Time Bounds in Synchronous Systems
• The Knowledge Complexity of Interactive Proof Systems
• New directions in cryptography
• Time, clocks, and the ordering of events in a distributed system
• Knowledge, probability, and adversaries
• Knowledge, timed precedence and clocks (preliminary report)
• Levels of knowledge in distributed systems.