Simulating synchronized clocks and common knowledge in distributed systems
From MaRDI portal
Publication:5286166
DOI10.1145/151261.151267zbMATH Open0770.68033OpenAlexW2070702486MaRDI QIDQ5286166FDOQ5286166
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
clock synchronizationlogical clocksdistributed networksdistributed programmingprotocol verificationnetwork communicationsknowledge-based protocolssynchronized clockscommunications managementasynchronous/synchronous operationstimestamped common knowledge
Cited In (12)
- A distributed algorithm to prevent mutual drift between n logical clocks
- Naming and identity in epistemic logic. II: A first-order logic for naming
- Practical uses of synchronized clocks in distributed systems
- The complexity of almost-optimal simultaneous coordination
- Towards a real-time distributed computing model
- Using counterfactuals in knowledge-based programming
- Title not available (Why is that?)
- Common knowledge revisited
- Knowledge-based programs
- Reconciling fault-tolerant distributed algorithms and real-time computing
- A note on knowledge-based programs and specifications
- Algorithm of simulation time synchronization over large-scale nodes
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 👍 👎
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)
