PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Lucidi F., Triglia S. Converging towards a timed LOTOS standard. In: Computer Standards & Interfaces, vol. 16 (2) pp. 87 - 118. North-Holland, 1994.
 
 
Abstract
(English)
Several ideas and proposals for an extension of the LOTOS ISO standard meant to support the specification of time parameters and time-dependent behaviours have appeared in the last few years. Some general requirements that such an extension should meet are identified, and a number of specific design options are discussed. Corresponding design decisions are then taken and motivated, leading to the definition of a Timed Basic LOTOS which attempts to promote convergence among the different existing proposals
DOI: 10.1016/0920-5489(94)90002-7
Subject Formal semantics
Specification language
Timed process algebra
LOTOS
F.3.2 Semantics of Programming Languages (D.3.1). Algebraic approaches to 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