Factorizing Proofs in Timed CSP.

Jim Davies, Steve A. Schneider

Browse the full MFPS paper archive.