G. M. Reed and A. W. Roscoe, "A timed model for communicating sequential processes", Proceedings of ICALP'86, Springer LNCS 226, 1986

Languages mentioned

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