Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Laneve C. Another temporal semantics for basic LOTOS. Internal note IEI-B4-42, 1989.
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.

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