Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Laneve C. A proof of simple abstractness for the temporal semantics of lotus. Internal note IEI-B4-38, 1988.
In this work shows that the temporal semantics of a subset of LOTOS given in [Fan 88] following the compositionsal method given in [Bar 84, Bar 85, Bar 86] is simply abstract (i.e. consistent and complete) with respect to a particular operational semantics.

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