next up previous

Final Report of the COST-247 Action

A Formal Definition of Time in LOTOS

Luc Leonard, Guy Leduc

Universite de Liege
Systemes et Automatique
Institut Montefiore, bat. B28
B4000 Liege
Tel: 32 43 66 49 92
Fax: 32 43 66 29 89


A time extended version of LOTOS, denoted ET-LOTOS, is proposed for the modelling of real-time behaviours. The language is first presented informally and applied to many small examples of sequential and concurrent systems. Then the formal semantics is given in two steps: on Basic ET-LOTOS and then on full ET-LOTOS. Several equivalence relations are defined and many properties (equivalence laws, expansion theorems, ...) are presented. The upward compatibility of ET-LOTOS w.r.t. LOTOS is also discussed.

This presentation has been given during the COST-247 WG1 Special Workshop on Extended Process Algebras (Brighton, United Kingdom, July 19--20, 1994).

Web Link to paper :

Web Link to research group :

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page