Given a set of processes and a set of tests on these processes we show how to define in a natural way three different equivalences on processes. These equivalences are applied to a particular language CCS. we give associated complete proof system and fully abstract models. these models have a simple representation in terms of trees.
Testing equivalences for processes
De Nicola R;
1983
Abstract
Given a set of processes and a set of tests on these processes we show how to define in a natural way three different equivalences on processes. These equivalences are applied to a particular language CCS. we give associated complete proof system and fully abstract models. these models have a simple representation in terms of trees.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_420968-doc_149330.pdf
solo utenti autorizzati
Descrizione: Testing equivalences for processes
Tipologia:
Versione Editoriale (PDF)
Dimensione
3.21 MB
Formato
Adobe PDF
|
3.21 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.
