PUMA
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.
 
 
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 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