Process algebra for timed systems /
Regan, Tim.
University of Sussex.Computer Science.
Brighton : University of Sussex,
[1991?]
"Submitted for the degree of D. Phil. - September 1991."