Results 1 -
1 of
1
Operational Semantics for Coordination in Paradigm
- Proceedings Coordination 2002
, 2002
"... 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 appro ..."
Abstract
-
Cited by 11 (5 self)
- Add to MetaCart
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.
