On the possibility and impossibility of achieving clock synchronization
Journal of Computer and System Sciences
Foundations of knowledge for distributed systems
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
A characterization of eventual Byzantine agreement
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Probabilistic knowledge and probabilistic common knowledge
Methodologies for intelligent systems, 5
Simulating synchronized clocks and common knowledge in distributed systems
Journal of the ACM (JACM)
Knowledge, probability, and adversaries
Journal of the ACM (JACM)
Reasoning about knowledge and probability
Journal of the ACM (JACM)
Reasoning about knowledge
Towards programming with knowledge expressions
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Knowledge Consistency: A Useful Suspension of Disbelief
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Three Views of Common Knowledge
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
On the model theory of knowledge
On the model theory of knowledge
Concurrent common knowledge: defining agreement for asynchronous systems
Distributed Computing
Beyond Lamport's happened-before: on the role of time bounds in synchronous systems
DISC'10 Proceedings of the 24th international conference on Distributed computing
Knowledge as a window into distributed coordination
ICDCIT'12 Proceedings of the 8th international conference on Distributed Computing and Internet Technology
Hi-index | 0.01 |
We consider the common-knowledge paradox raised in [HM90]: common knowledge is necessary for coordination, but common knowledge is unattainable in the real world because of temporal imprecision. We discuss two solutions to this paradox: (1) modeling the world with a coarser granularity, and (2) relaxing the requirements for coordination.