Readies and failures in the algebra of communicating processes

Decidability of bisimulation equivalence for process generating context-free languages

Journal of the ACM (JACM)

A Verification Framework for Agent Communication

Autonomous Agents and Multi-Agent Systems

Semantics of Agent Communication: An Introduction

Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems

Generic Process Algebras for Asynchronous Communication

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory

A fully abstract model for the exchange of information in multi-agent systems

Theoretical Computer Science

Precongruence formats for decorated trace semantics

ACM Transactions on Computational Logic (TOCL)

Formal specification of system functions

MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering

Full Abstractness of a Metric Semantics for Action Refinement

Fundamenta Informaticae