A Semantically Based Proof System for Partial Correctness and Deadlock in CSP

Stephen D. Brookes

Browse the full LICS paper archive.