Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Laneve C. Principles for a temporal semantics of lotus. Internal note IEI-B4-36, 1988.
A temporal semantics for a subset of LOTOS, a language developed for the formal description of communication protocols, is presented. The semantics is given using a compositional approach by which it is possible to associate temporal logic formulas to each language construct. The considered subset covers the main characteristics of LOTOS for what concerns the concurrent aspects; the extension to LOTOS is discussed.

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