Koning, J-L. and Oudeyer, P-Y. Introduction to POS: A Protocol Operational Semantics. International Journal of Cooperative Information System - Special Issue on Information Agents: Theory and Applications, 2, 2001.

Sony CSL authors: Pierre-Yves Oudeyer

Abstract

In this paper we present a system for representing protocols called POS which has universal power and determines a complete semantics of protocols. This work is inspired by the Structured Operational Semantics of programming languages. We precisely define POSand illustrate its power on an extended example.

Keywords: interaction protocols, operational semantics, operational semantics, collaboration, ACL, ACL

Downloads

[PDF] Adobe Acrobat PDF file

[PS] GZip'd PostScript file

BibTeX entry

@ARTICLE { oudeyer:00c, AUTHOR="Koning, J-L. and Oudeyer, P-Y.", JOURNAL="International Journal of Cooperative Information System - Special Issue on Information Agents: Theory and Applications", TITLE="Introduction to POS: A Protocol Operational Semantics", VOLUME="2", YEAR="2001", }