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
A hundred impossibility proofs for distributed computing
Proceedings of the eighth 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
A compositional approach to superimposition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
A semantics for a logic of authentication (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
Simulating synchronized clocks and common knowledge in distributed systems
Journal of the ACM (JACM)
The derivation of distributed termination detection algorithms from garbage collection schemes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Global flush communication primitive for inter-process communication
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Uniform actions in asynchronous distributed systems
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Knowledge, timed precedence and clocks (preliminary report)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Local and temporal predicates in distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed termination detection in a mobile wireless network
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Fault-Tolerant Algorithms for Fair Interprocess Synchronization
IEEE Transactions on Parallel and Distributed Systems
Toward sofware synthesis for distributed applications
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Universal Constructs in Distributed Computations
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Concurrent Knowledge and Logical Clock Abstractions
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Designing Directories in Distributed Systems: A Systematic Framework
HPDC '96 Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
Remote Belief: Preserving Volition for Loosely Coupled Processes
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Recent issues in reasoning about knowledge
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
A link between knowledge and communication in faulty distributed systems
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Knowledge and the ordering of events in distributed systems: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Implementing knowledge-based programs
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Knowledge based programs: on the complexity of perfect recall in finite environments
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
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
Topological reasoning and the logic of knowledge: preliminary report
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Causality and atomicity in distributed computations
Distributed Computing
The power of logical clock abstractions
Distributed Computing
A logical approach to multilevel security of probabilistic systems
Distributed Computing
Concurrent common knowledge: defining agreement for asynchronous systems
Distributed Computing
Some impossibility results in interprocess synchronization
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
A tight bound on remote reference time complexity of mutual exclusion in the read-modify-write model
Journal of Parallel and Distributed Computing
Knowledge-Based Asynchronous Programming
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
An efficient delay-optimal distributed termination detection algorithm
Journal of Parallel and Distributed Computing
Tiered Algorithm for Distributed Process Quiescence and Termination Detection
IEEE Transactions on Parallel and Distributed Systems
On termination detection in crash-prone distributed systems with failure detectors
Journal of Parallel and Distributed Computing
Common knowledge in interaction structures
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Optimistic Fair Exchange Using Trusted Devices
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
AM++: a generalized active message framework
Proceedings of the 19th international conference on Parallel architectures and compilation techniques
Automata for Epistemic Temporal Logic with Synchronous Communication
Journal of Logic, Language and Information
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
The inherent difficulty of timely primary-backup replication
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Known unknowns: time bounds and knowledge of ignorance
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Knowledge as a window into distributed coordination
ICDCIT'12 Proceedings of the 8th international conference on Distributed Computing and Internet Technology
Distributed iterated elimination of strictly dominated strategies
Autonomous Agents and Multi-Agent Systems
Knowledge-Based Asynchronous Programming
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
The Inherent Difficulty of Timely Primary-Backup Replication
Bell Labs Technical Journal
Common Knowledge in Email Exchanges
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |