Reaching Agreement in the Presence of Faults
Journal of the ACM (JACM)
Easy impossibility proofs for distributed consensus problems
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
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
Knowledge, common knowledge and related puzzles (Extended Summary)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
On the possibility and impossibility of achieving clock synchronization
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Bounds on fundamental problems in parallel and distributed computation
Bounds on fundamental problems in parallel and distributed computation
What processes know: Definitions and proof methods
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
The complexity of reasoning about knowledge and time
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
A knowledge-theoretic analysis of atomic commitment protocols
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Substituting for real time and common knowledge in asynchronous distributed systems
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
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
Understanding and verifying distributed algorithms using stratified decomposition
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
A categorical approach to distributed systems expressibility and knowledge
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
Knowledge in shared memory systems (preliminary version)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
A model for multiparadigm systems
CSC '91 Proceedings of the 19th annual conference on Computer Science
Towards programming with knowledge expressions
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Journal of Logic, Language and Information
Toward sofware synthesis for distributed applications
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Using counterfactuals in knowledge-based programming
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Remote Belief: Preserving Volition for Loosely Coupled Processes
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Implementing knowledge-based programs
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
On ambiguities in the interpretation of game trees
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Reasoning about knowledge: a tutorial
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Knowledge consistency: a useful suspension of disbelief
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Knowledge and communication: a tutorial
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
TARK '92 Proceedings of the 4th 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
Reasoning about knowledge: an overview
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Foundations of knowledge for distributed systems
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Knowledge and implicit knowledge in a distributed environment: preliminary report
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
The logic of distributed protocols: preliminary report
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
A note on knowledge-based programs and specifications
Distributed Computing
Interpreted systems and Kripke models for multiagent systems from a categorical perspective
Theoretical Computer Science
Using counterfactuals in knowledge-based programming
Distributed Computing
Distributed Computing
Knowledge in shared memory systems
Distributed Computing
Logical omniscience and common knowledge: WHAT do we know and what do WE know?
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Reasoning about knowledge in multilevel secure distributed systems
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Hi-index | 0.00 |