Synchronizing clocks in the presence of faults
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed Computing
Reliable communication in the presence of failures
ACM Transactions on Computer Systems (TOCS)
Distributed agreement in the presence of processor and communication faults
IEEE Transactions on Software Engineering
An internal semantics for modal logic
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Foundations of knowledge for distributed systems
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Journal of the ACM (JACM)
Simulating synchronous processors
Information and Computation
A new fault-tolerant algorithm for clock synchronization
Information and Computation
Real time clocks versus virtual clocks
Control Flow and Data Flow: concepts of distributed programming
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
Knowledge and common knowledge in a byzantine environment: crash failures
Information and Computation
Common knowledge and consistent simultaneous coordination
Proceedings of the 4th international workshop on Distributed algorithms
A model-theoretic analysis of knowledge
Journal of the ACM (JACM)
Using knowledge to optimally achieve coordination is distributed systems
TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
The serializability of concurrent database updates
Journal of the ACM (JACM)
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Knowledge Consistency: A Useful Suspension of Disbelief
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Distributed Processes and the Logic of Knowledge
Proceedings of the Conference on Logic of Programs
Concurrent common knowledge: defining agreement for asynchronous systems
Distributed Computing
Designing algorithms for distributed systems with partially synchronized clocks
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
A new look at membership services (extended abstract)
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Implementing sequentially consistent shared objects using broadcast and point-to-point communication
Journal of the ACM (JACM)
Lamport clocks: verifying a directory cache-coherence protocol
Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures
The Timed Asynchronous Distributed System Model
IEEE Transactions on Parallel and Distributed Systems
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
IEEE Transactions on Computers
Using counterfactuals in knowledge-based programming
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Failure Detection Lower Bounds on Registers and Consensus
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
A note on knowledge-based programs and specifications
Distributed Computing
Using counterfactuals in knowledge-based programming
Distributed Computing
Distributed Computing
Reliable Group Communication and Institutional Action in a Multi-agent Trading Scenario
Agent Communication II
Towards a real-time distributed computing model
Theoretical Computer Science
Common Knowledge in Email Exchanges
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.01 |
Time and knowledge are studied in synchronous and asynchronous distributed systems. A large class of problems that can be solved using logical clocks as if they were perfectly synchronized clocks is formally characterized. For the same class of problems, a broadcast primitive that can be used as if it achieves common knowledge is also proposed. Thus, logical clocks and the broadcast primitive simplify the task of designing and verifying distributed algorithms: The designer can assume that processors have access to perfectly synchronized clocks and the ability to achieve common knowledge.