Timing and causality in process algebra /
Aceto, Luca.
Murphy, David.
University of Sussex.Computer Science.
Brighton : University of Sussex, Computer Science,
1993.
Cover title.