relation: http://eprints.imtlucca.it/390/
title: Partial ordering derivations for CCS
creator: Degano, Pierpaolo
creator: De Nicola, Rocco
creator: Montanari, Ugo
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
contributor: Budach, Lothar
date: 1985
type: Book Section
type: PeerReviewed
identifier:   Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo  Partial ordering derivations for CCS.   In:  Fundamentals of Computation Theory (FCT 1985).   Lecture Notes in Computer Science, 199 .  Springer, pp. 520-533.  ISBN 3-540-15689-5      (1985)  
relation: http://dx.doi.org/10.1007/BFb0028836
relation: 10.1007/BFb0028836