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.
Partial ordering derivations for CCS
De Nicola R;
1985
Abstract
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_420292-doc_148919.pdf
solo utenti autorizzati
Descrizione: Partial ordering derivations for CCS
Tipologia:
Versione Editoriale (PDF)
Dimensione
3.37 MB
Formato
Adobe PDF
|
3.37 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.