PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Latella D., Zuppa E. Non standard interpretations of LOTOS specification. Internal note CNUCE-B4-90-018, 1990.
 
 
Abstract
(English)
Non-standard interpretations of LOTOS specifications are proposed as a most convenient and conservative way to extend the expressivity of the language without affecting its standard syntax and transition-system-based semantics. Some simple non—standard interpretations, alse called view functions, are introduced. Two different styles of formal definition are adopted (denotational and operational) for providing, respectively, a refinement of the standard LOTOS process functionality parameter, and a new parameter measuring the degree of synchronization exhibited by a specification.
Subject 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