Failure Semantics for the Exchange of Information in Multi-Agent Systems

This publication has 10 references indexed in Scilit:

• Verifiable semantics for agent communication languages
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Information-Passing and Belief Revisionin Multi-agent Systems
  Published by Springer Nature ,1999
• Failures, Finiteness and Full Abstraction
  Electronic Notes in Theoretical Computer Science, 1997
• A process algebra for synchronous concurrent constraint programming
  Published by Springer Nature ,1996
• Intelligent agents: theory and practice
  The Knowledge Engineering Review, 1995
• Concurrent Constraint Programming
  Published by MIT Press ,1993
• A guide to completeness and complexity for modal logics of knowledge and belief
  Artificial Intelligence, 1992
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Process algebra for synchronous communication
  Information and Control, 1984
• Communicating sequential processes
  Communications of the ACM, 1978