next up previous

Final Report of the COST-247 Action

Examples of the Use of ET-LOTOS

Luc Leonard

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


To justify the design choices of ET-LOTOS and to prove their advantages, the specification of two case studies is presented: a subset of the Tick-Tock case study, completed with some additional difficulties, and the rail road crossing example.

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

COST-247 Working Group(s): 1

Web Link to the research group:

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page