Istituto di Scienza e Tecnologie dell'Informazione     
Degano P., De Nicola R., Montanari U. Partial ordering derivations for CCS. vol. 199 L. Budach (ed.). Cottbus, GDR: Springer-Verlag, 1985.
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 a11 interleavings compatible with the partial orderings.

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