PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Laneve C. An expressive temporal logic for basic LOTOS. In: FORTE '89 - The 2nd International Conference on Formal Description Techniques. (Vancouver, Canada, 5 - 8 December 1989). Proceedings, pp. 383 - 399. Son T. Vuong (ed.). North-Holland, 1989.
 
 
Abstract
(English)
A temporal semantics far 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 the expressiveness of the logic with respect to the operational semantics modulo luce equivalence. The capability of the given semantics to be used to verify interesting properties of programs is also investigated, and a study for more expressive semantics is discussed.
Subject Basic LOTOS


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