In the following a complete set of laws for observational congruence on finite basie LOTOS is listed. This set is not minimal but includes all the laws presented in [2] while for a minimal complete set we refer to [29]. The laws for each operator are grouped together.
Transformation rules
De Nicola R;Fantechi A;Gnesi S;
1991
Abstract
In the following a complete set of laws for observational congruence on finite basie LOTOS is listed. This set is not minimal but includes all the laws presented in [2] while for a minimal complete set we refer to [29]. The laws for each operator are grouped together.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_447834-doc_161373.pdf
accesso aperto
Descrizione: Transformation rules
Dimensione
660.08 kB
Formato
Adobe PDF
|
660.08 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
