Abstract L. Groenewegen and E.P. de Vink
Operational Semantics for Coordination in Paradigm

Paradigm is the modeling language of SOCCA regarding communication,
coordination and cooperation. A transition system or STD-based
operational semantics for Paradigm is proposed and illustrated with
basic producer-consumer examples.  The proposed semantics for
Paradigm, in contrast to other approaches, provides a sound basis for
reasoning about system dynamics and system comparison.