TY  - JOUR
EP  - 383
N2  - Three of the rewriting systems used by Degano, De Nicola and Montanari to provide Milner's CCS with a causality based semantics are compared by using also a fourth intermediate one. These rewriting systems have been used to associate Petri nets, Labelled Event Structures and structured sets of partial orderings to CCS terms. It is proved that the four rewriting systems yield computations from which the same causality relations among the executed actions can be extracted, thus it is established that the four partial ordering transitional semantics do coincide.
TI  - On Four Partial Ordering Semantics for a Process Calculus
UR  - http://iospress.metapress.com/content/D6134260XM4L17Q4
IS  - 4
ID  - eprints360
SP  - 349
SN  - 1875-8681
JF  - Fundamenta Informaticae
VL  - 27
Y1  - 1996///
A1  - Corradini, Flavio
A1  - De Nicola, Rocco
AV  - none
ER  -