PUMA
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.
 
 
Abstract
(English)
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.
Subject


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