# Partial ordering derivations for CCS

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)

Full text not available from this repository.

## Abstract

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.

Item Type: Book Section 10.1007/BFb0028836 Q Science > QA Mathematics > QA75 Electronic computers. Computer science Computer Science and Applications Rocco De Nicola 24 May 2011 14:02 11 Jul 2011 14:36 http://eprints.imtlucca.it/id/eprint/390