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