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.
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
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