next up previous

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:

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.


Back to the VASY Home page