Jean-Luc Koning. A Simplified Protocol Operational Semantics for Multiagent Protocols. In Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 19-20 August 2002, Calgary, Canada. pages 175-181, IEEE Computer Society, 2002. [doi]
Abstract is missing.