Logo eprints

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.


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
Identification Number: 10.1007/BFb0028836
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 24 May 2011 14:02
Last Modified: 11 Jul 2011 14:36
URI: http://eprints.imtlucca.it/id/eprint/390

Actions (login required)

Edit Item Edit Item