Factorising Proofs in Timed CSP (Real−Time Systems: Theory and Practice, 1989)

(untitled) - Davies, J; Schneider, S