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
Communicating sequential processes
Communications of the ACM - Special 25th Anniversary Issue
How to cook a temporal proof system for your pet language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Distributed Processes and the Logic of Knowledge
Proceedings of the Conference on Logic of Programs
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second 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
Knowledge, common knowledge and related puzzles (Extended Summary)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
A new paradigm for the design of concurrent systems
IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
A note on knowledge-based programs and specifications
Distributed Computing
Distributed Computing
Symmetric and Synchronous Communication in Peer-to-Peer Networks
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
| Hi-index | 0.00 |
Explicit use of knowledge expressions in the design of distributed algorithms is explored. A non-trivial case study is carried through, illustrating the facilities that a design language could have for setting and deleting the knowledge that the processes possess about the global state and about the knowledge of other processes. No implicit capabilities for logical reasoning are assumed. A language basis is used that allows common knowledge not only by an eager protocol but also in the true sense. The observation is made that the distinction between these two kinds of common knowledge can be associated with the level of abstraction: true common knowledge of higher levels of abstraction: true common knowledge of higher levels can be implemented as eager common knowledge on lower levels. A knowledge-motivated abstraction tool is therefore suggested to be useful in supporting stepwise refinement of distributed algorithms.