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
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Hi-index | 0.02 |
In this tutorial talk, we will first review the standard possible-worlds definition of knowledge. We then give a method of modelling interactive systems as sets of runs, where a run is a complete description of what happens in the system over time. This appraoch is applicable to modelling a wide range of phenomena, including distributed protocols, games, and conversations. We show how to interpret knowledge in a distributed system and use this approach to analyze the coordinated attack problem. All the material in this talk is taken from [HF85,HM84] and the overview paper [Hal87].