Introduction to POS: A protocol operational semantics
JL Koning, PY Oudeyer�- International Journal of Cooperative�…, 2001 - World Scientific
JL Koning, PY Oudeyer
International Journal of Cooperative Information Systems, 2001•World ScientificIn 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.
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.
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.
World ScientificShowing the best result for this search. See all results