Istituto di Scienza e Tecnologie dell'Informazione     
Degano P., De Nicola R., Montanari U. Partial ordering derivations for CCS. Internal note IEI-B84-31, 1984.
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.
Subject CCS

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional