This section presents the approach to a verification environment which supports correctness preserving transformations on terms of the Basic LOTOS process algebra based on observational equivalence.
Algebraic transformations-verification of basic lotos processes
De Nicola R;
1990
Abstract
This section presents the approach to a verification environment which supports correctness preserving transformations on terms of the Basic LOTOS process algebra based on observational equivalence.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_452793-doc_170681.pdf
accesso aperto
Descrizione: Algebraic transformations-verification of basic lotos processes
Dimensione
2.06 MB
Formato
Adobe PDF
|
2.06 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
