PUMA
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.
 
 
Abstract
(English)
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.
Subject


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