Simulating synchronized clocks and common knowledge in distributed systems

DOI10.1145/151261.151267zbMath0770.68033OpenAlexW2070702486MaRDI QIDQ5286166

Sam Toueg, Gil Neiger

Publication date: 29 June 1993

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

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

zbMATH Keywords

clock synchronizationlogical clocksdistributed networksdistributed programmingprotocol verificationnetwork communicationssynchronized clocksknowledge-based protocolscommunications managementasynchronous/synchronous operationstimestamped common knowledge

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed algorithms (68W15)

Related Items

Knowledge-based programs, A note on knowledge-based programs and specifications, Using counterfactuals in knowledge-based programming, The complexity of almost-optimal simultaneous coordination, Reconciling fault-tolerant distributed algorithms and real-time computing, Towards a real-time distributed computing model, Common knowledge revisited, Naming and identity in epistemic logic. II: A first-order logic for naming