|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|
|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 : http://www-run.montefiore.ulg.ac.be/publications/papers/abstract-RS95-05.html
Web Link to research group : http://www-run.montefiore.ulg.ac.be
This Page was prepared by Mark Jorgensen.