|Final Report of the COST-247 Action|
Case-studies using Timed Full LOTOS
|36, via S. Maria|
|Tel: 39 50 593319|
|Fax: 39 50 589354|
Abstract Specifications of a Railroad Crossing system and of the so called Tick-Tock service are introduced for illustrating the Timed Full LOTOS with Time/Action tree semantics of a companion presentation.
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
This Page was prepared by Mark Jorgensen.