INTRODUCTION TO POS: A PROTOCOL OPERATIONAL SEMANTICS
Jean-Luc Koning, Pierre-Yves Oudeyer · International Journal of Cooperative Information Systems · 2001
In this paper, we propose a system for representing interaction protocols called POS which is both Turing complete and determine a complete semantics of protocols. This work is inspired by the Structured Operational Semantics in programming languages. We precisely define POS and illustrate its power on an extended example.