@inproceedings{e58cc9b9f3a747ebbb3d6f7648b5b4b0,
title = "Operational semantics for coordination in Paradigm",
abstract = "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 reasoningab out system dynamics and system comparison.",
author = "L.P.J. Groenewegen and {Vink, de}, E.P.",
year = "2002",
doi = "10.1007/3-540-46000-4_20",
language = "English",
isbn = "3-540-43410-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "191--206",
editor = "F. Arbab and C. Talcott",
booktitle = "Coordination Models and Languages (Proceedings COORDINATION 2002, York, UK, April 8-11, 2002)",
address = "Germany",
note = "conference; York, UK; 2002-04-08; 2002-04-11 ; Conference date: 08-04-2002 Through 11-04-2002",
}