next up previous

Final Report of the COST-247 Action

Case-studies using Timed Full LOTOS

Tommaso Bolognesi

36, via S. Maria
I-56100 Pisa
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.

Back to the VASY Home page