Zic, J. 1986. A new cornmumcation protocol specification and analysls technique Tech Rep TR287 (July), Basser Dept. of Computer Science, Umv. of Sydney, Sydney. Aus
(1986)
Languages mentioned
CSP + T
{1986} CSP with complex event timings