Using CSP to Verify a Timed Protocol over a Fair Medium.

Jim Davies, Steve A. Schneider

Browse the full CONCUR paper archive.