The graphical representation of the parallel composition of several LOTOS processes as a network of interconnected boxes is ambiguous, due to the nature of the LOTOS binary parallel operator. The method can be used for transforming the structure of parallel LOTOS expressions, and is a generalization of previously know algebraic transformation laws.
A graphical composition theorem for LOTOS
Bolognesi T
1989
Abstract
The graphical representation of the parallel composition of several LOTOS processes as a network of interconnected boxes is ambiguous, due to the nature of the LOTOS binary parallel operator. The method can be used for transforming the structure of parallel LOTOS expressions, and is a generalization of previously know algebraic transformation laws.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_419287-doc_148132.pdf
accesso aperto
Descrizione: A graphical composition theorem for LOTOS
Dimensione
1.42 MB
Formato
Adobe PDF
|
1.42 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
