|Final Report of the COST-247 Action|
Case studies using TCSP
|University of Reading|
|Department of Computer Science|
|P.O. BOX: 225|
|UK-PG6 2AY Whiteknights Reading|
|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.