Modelling knowledge and action in distributed systems
- 1 December 1989
- journal article
- Published by Springer Science and Business Media LLC in Distributed Computing
- Vol. 3 (4), 159-177
- https://doi.org/10.1007/bf01784885
Abstract
No abstract availableThis publication has 33 references indexed in Scilit:
- Knowledge and implicit knowledge in a distributed environment: Preliminary ReportPublished by Elsevier BV ,1986
- FOUNDATIONS OF KNOWLEDGE FOR DISTRIBUTED SYSTEMSPublished by Elsevier BV ,1986
- Knowledge and Common Knowledge in a Byzantine Environment I: Crash failuresPublished by Elsevier BV ,1986
- Distributed processes and the logic of knowledgeLecture Notes in Computer Science, 1985
- The glory of the pastLecture Notes in Computer Science, 1985
- Bounds on the size and transmission rate of communications protocolsComputers & Mathematics with Applications, 1982
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Modeling communications protocols by automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- Agreeing to DisagreeThe Annals of Statistics, 1976