1. Tim Miller and Peter McBurney. A Formal Semantics for Gaia Liveness Rules and Expressions. International Journal of Agent-Oriented Software Engineering, 1(3/4):435--476, 2007.
   Keywords: agentlab, agent-oriented software engineering, agent programming languages. [bibtex-entry]

1. Tim Miller and Peter McBurney. Annotation and matching of first-class agent interaction protocols. In International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), volume 2, Estoril, Portugal, pages 805--812, 2008.
   Keywords: agentlab, agent-oriented software engineering, agent programming languages. [bibtex-entry]

Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.