Publications
Journals
Dunn Davies H, Cunningham J, 2005, Propositional Statecharts for Agent Interaction Protocols, Pages:55-75
Conference
Cunningham J, 2006, Specifying the Semantics of Interaction Protocols, InterSymp-2005, Multi-agent Systems Symposium, Baden August 2005
Paurobally S, Cunningham J, Jennings N, 2005, Specifying the Semantics of Agent Interaction Protocols, Fourth International Joint Conference on Autonomous agents and Multi-Agent Systems (AAMAS'05)
Paurobally S, Cunningham J, Jennings NR, 2003, Ensuring consistency on the joint beliefs of interacting agents, 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems, Pages:662-669