Stephen D. Brookes A Semantically Based Proof System for Partial Correctness and Deadlock in CSP 58-65 conf/lics/LICS1 1986 LICS db/conf/lics/lics86.html#Brookes86