Simulating synchronized clocks and common knowledge in distributed systems

DOI10.1145/151261.151267MaRDI QIDQ5286166zbMATH OpenOpenAlexFDO

Authors 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 communicationsknowledge-based protocolssynchronized clockscommunications managementasynchronous/synchronous operationstimestamped common knowledge

Mathematics Subject Classification ID

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

Recommendations

• Scalable synchronization of clocks in distributed environments
• Practical uses of synchronized clocks in distributed systems
• Probabilistic clock synchronization in large distributed systems
• Synchronization and informational agreement in distributed computing systems
• Algorithm of simulation time synchronization over large-scale nodes

Cited in

(12)

• Towards a real-time distributed computing model
• Practical uses of synchronized clocks in distributed systems
• Using counterfactuals in knowledge-based programming
• Algorithm of simulation time synchronization over large-scale nodes
• scientific article; zbMATH DE number 2080227 (Why is no real title available?)
• Naming and identity in epistemic logic. II: A first-order logic for naming
• Knowledge-based programs
• Common knowledge revisited
• A note on knowledge-based programs and specifications
• Reconciling fault-tolerant distributed algorithms and real-time computing
• A distributed algorithm to prevent mutual drift between n logical clocks
• The complexity of almost-optimal simultaneous coordination

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

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