Zic, J J. 1991. CSP + T: A formallsm for descrbing real-time systems Ph D. Thesis, Basser Dept of Computer Science, Univ. of Sydney, Sydney, Aus.

Languages mentioned

• CSP + T {1986} CSP with complex event timings