A process algebra for timed systems /
Hennessy, Matthew.
Regan, Tim.
University of Sussex.Computer Science.
Brighton : University of Sussex,
[1992?]
Cover title.
"June 1992."