A more expressive temporal semantics for Basic LOTOS, i.e. LOTOS without value passing, is presented. The semantics is given as an attempt to provide a compositional temporal semantics expressive with respect to maximal trace equivalence. It is however shown that, though it is actually more expressive than a similar semantics given in a previous report, it is not enough expressive. The capability of the given semantics to be used to verify interesting properties of programs is also investigated.
Another temporal semantics for basic LOTOS
Fantechi A;Gnesi S;
1989
Abstract
A more expressive temporal semantics for Basic LOTOS, i.e. LOTOS without value passing, is presented. The semantics is given as an attempt to provide a compositional temporal semantics expressive with respect to maximal trace equivalence. It is however shown that, though it is actually more expressive than a similar semantics given in a previous report, it is not enough expressive. The capability of the given semantics to be used to verify interesting properties of programs is also investigated.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_418094-doc_147529.pdf
accesso aperto
Descrizione: Another temporal semantics for basic LOTOS
Dimensione
1.79 MB
Formato
Adobe PDF
|
1.79 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
