Final Report of the COST-247 Action |
Case-studies using Timed Full LOTOS
Tommaso Bolognesi
CNR-CNUCE |
36, via S. Maria |
I-56100 Pisa |
Italy |
Tel: 39 50 593319 |
Fax: 39 50 589354 |
E-mail: bolog@fdt.cnuce.cnr.it |
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.