next up previous

Final Report of the COST-247 Action

Case studies using TCSP

Jim Davies

University of Reading
Department of Computer Science
P.O. BOX: 225
UK-PG6 2AY Whiteknights Reading
United Kingdom
Tel: 44 1734 318611
Fax: 44 1734 751994


This talk begins with an introduction to the language and models of real-time CSP. This is followed by a series of examples which illustrate the relationship between real-time CSP and ET-LOTOS, a real-time extension of the LOTOS formalism. If time allows, the talk will end with a case study: the Tick-Tock protocol.

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