Davies, J. and S. Schneider, "An Introduction to Timed CSP", Technical Monograph PRG-75, Oxford University Computer Laboratory.
(1989)
Languages mentioned
Timed CSP
{1986} Extension of CSP to include timing constructs