TY  - CHAP
Y1  - 1985///
A1  - Degano, Pierpaolo
A1  - De Nicola, Rocco
A1  - Montanari, Ugo
M1  - 199
UR  - http://dx.doi.org/10.1007/BFb0028836
AV  - none
T3  - Lecture Notes in Computer Science
TI  - Partial ordering derivations for CCS
SP  - 520
PB  - Springer
T2  - Fundamentals of Computation Theory (FCT 1985)
ED  - Budach, Lothar
SN  - 3-540-15689-5
EP  - 533
ID  - eprints390
N2  - In this paper we extend CCS transitions, labelled by strings, to concurrent histories, i.e. to transitions labelled by partial orderings. The two notions are linked by a theorem which shows that the strings can be obtained by taking all interleavings compatible with the partial orderings.
ER  -