TY  - CHAP
A1  - Degano, Pierpaolo
A1  - De Nicola, Rocco
A1  - Montanari, Ugo
M1  - 280
UR  - http://dx.doi.org/10.1007/3-540-18419-8_13
Y1  - 1986///
SP  - 144
TI  - CCS is an (Augmented) Contact Free C/E System
T3  - Lecture Notes in Computer Science
AV  - none
T2  - Mathematical Models for the Semantics of Parallelism
PB  - Springer
N2  - A new class of Petri Nets, called Augmented Condition/Event Systems is defined, by slightly relaxing the condition for enabling events. One system, called SgrCCS, from this class is used to give a new operational semantics to Milner's Calculus of Communicating Systems. The set of CCS agents together with the traditional, interleaving based, derivation relation is proved isomorphic to the case graph of SgrCCS (when single transitions only are considered). Our achievement is twofold: first, we provide CCS with a semantics which is able to describe concurrency and causal dependencies between the actions the various agents can perform; second, we guarantee an adequate linguistic level for the particular class of Petri Nets which can be defined through CCS operators.
ID  - eprints389
EP  - 165
SN  - 3-540-18419-8
ED  - Venturini Zilli, Marisa
ER  -