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 systems and fully abstract models. These models have a simple representation in terms of trees.
Testing equivalences for processes
De Nicola R;
1984
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 systems and fully abstract models. These models have a simple representation in terms of trees.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_420631-doc_149158.pdf
solo utenti autorizzati
Descrizione: Testing equivalences for processes
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.11 MB
Formato
Adobe PDF
|
2.11 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.
