Modelling knowledge and action in distributed systems

This publication has 33 references indexed in Scilit:

• Knowledge and implicit knowledge in a distributed environment: Preliminary Report
  Published by Elsevier ,1986
• FOUNDATIONS OF KNOWLEDGE FOR DISTRIBUTED SYSTEMS
  Published by Elsevier ,1986
• Knowledge and Common Knowledge in a Byzantine Environment I: Crash failures
  Published by Elsevier ,1986
• Distributed processes and the logic of knowledge
  Published by Springer Nature ,1985
• The glory of the past
  Published by Springer Nature ,1985
• Bounds on the size and transmission rate of communications protocols
  Computers & Mathematics with Applications, 1982
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Modeling communications protocols by automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• Agreeing to Disagree
  The Annals of Statistics, 1976