Complexity of network synchronization
Journal of the ACM (JACM)
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
Knowledge and common knowledge in a Byzantine environment I: crash failures
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Foundations of knowledge for distributed systems
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Simulating synchronous processors
Information and Computation
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
A formal model of knowledge, action, and communication in distributed systems: preliminary report
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
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
Logics of Knowledge, Games and Dynamic Logic
Proceedings of the Fourth Conference on Foundations of Software Technology and Theoretical Computer Science
Distributed Processes and the Logic of Knowledge
Proceedings of the Conference on Logic of Programs
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
A distributed algorithm for generalized deadlock detection
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Substituting for Real Time and Common Knowledge in Distributed Systems
Substituting for Real Time and Common Knowledge in Distributed Systems
Concurrent Common Knowledge: A New Definition of Agreement for Asynchronous Systems
Concurrent Common Knowledge: A New Definition of Agreement for Asynchronous Systems
PROGRAMMING SIMULTANEOUS ACTION USING COMMON KNOWLEDGE
PROGRAMMING SIMULTANEOUS ACTION USING COMMON KNOWLEDGE
Reasoning about knowledge and time in asynchronous systems
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
A knowledge-based analysis of zero knowledge
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Concurrent common knowledge: a new definition of agreement for asynchronous systems
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Knowledge in shared memory systems (preliminary version)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Partial-order transport service for multimedia and other applications
IEEE/ACM Transactions on Networking (TON)
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
IEEE Transactions on Computers
Logically Instantaneous Message Passing in Asynchronous Distributed Systems
IEEE Transactions on Computers
An Implementation of F-Channels
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
Knowledge consistency: a useful suspension of disbelief
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Characterizing distributed systems using knowledge-based models: preliminary version
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Using knowledge to optimally achieve coordination in distributed systems: extended abstract
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Concurrent common knowledge: defining agreement for asynchronous systems
Distributed Computing
Knowledge in shared memory systems
Distributed Computing
Combining epistemic logic and hennessy-milner logic
Logic and Program Semantics
Hi-index | 0.01 |