A temporal semantics for a subset of LOTOS, a language developed for the formal description of communication protocols, is presented. The semantics is given using a compositional approach by which it is possible to associate temporal logic formulas to each language construct. The considered subset covers the main characteristics of LOTOS for what concerns the concurrent aspects; the extension to LOTOS is discussed.
Principles for a temporal semantics of lotus
Fantechi A;Gnesi S;
1988
Abstract
A temporal semantics for a subset of LOTOS, a language developed for the formal description of communication protocols, is presented. The semantics is given using a compositional approach by which it is possible to associate temporal logic formulas to each language construct. The considered subset covers the main characteristics of LOTOS for what concerns the concurrent aspects; the extension to LOTOS is discussed.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_419278-doc_148121.pdf
accesso aperto
Descrizione: Principles for a temporal semantics of lotus
Dimensione
1.63 MB
Formato
Adobe PDF
|
1.63 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
