Distributed Computing
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Knowledge and common knowledge in a byzantine environment: crash failures
Information and Computation
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Distributed Processes and the Logic of Knowledge
Proceedings of the Conference on Logic of Programs
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
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
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
Hi-index | 0.00 |
Distributed and multi-agent systems come in many forms, serving various purposes and spanning a large variety of properties. They include networked processors communicating via message-passing, shared-memory systems in which processes interact by reading from and writing to shared variables, and even systems of robots that coordinate their actions by viewing each others' actions and locations, and perform no explicit communication actions. While distinct systems may differ completely in their detailed structure and operation, fundamental to all distributed systems is the fact that decisions are performed based on a local, partial, view of the the state of the system. Proper coordination among different sites of such a system requires information flow among them, to ensure that decisions are taken based on appropriate knowledge. Reasoning about when elements of the system do or do not know relevant facts is therefore a central aspect of the design and construction of distributed systems and distributed protocols.