Lowe, Gavin "Probabilistic and prioritized models of timed CSP" Selected papers of the meeting on Mathematical foundations of programming semantics Univ. of Oxford, Oxford, United Kingdom 1995 pp315-352

Languages mentioned

• Timed CSP {1986} Extension of CSP to include timing constructs