|
| 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 |
| E-mail: j.w.davies@reading.ac.uk |
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