|
| 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 |
| Belgium |
| Tel: 32 43 66 49 92 |
| Fax: 32 43 66 29 89 |
| E-mail: leonard@montefiore.ulg.ac.be |
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.
Back to the VASY Home page