Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Laneve C. A temporal semantics for basic lotos. Internal note IEI-B4-41, 1989.
A temporal semantics for Basic LOTOS, i.e. LOTOS without value passing, is presented. The semantics is provided using a compositional approach by which it is possible to associate temporal logic formulae to each language construct. The relationships between this semantics and the operational semantics of the language have been studied in detail, showing its simple abstractness with respect to the operational semantics modulo string equivalence. The capability of the given semantics to be used to verify interesting properties of programs is also investigated.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional