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 (8)

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

This page was built for publication: Simulating synchronized clocks and common knowledge in distributed systems