Schneider, Steve "An operational semantics for timed CSP" Information and Computation 116(2) February 1995 pp193-213
(1995)
Languages mentioned
Timed CSP
{1986} Extension of CSP to include timing constructs