|Final Report of the COST-247 Action|
Examples of the Use of ET-LOTOS
|Universite de Liege|
|Systemes et Automatique|
|Institut Montefiore, bat. 28|
|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:http://www-run.montefiore.ulg.ac.be
This Page was prepared by Mark Jorgensen.