Model-checking csp (1994)

by A W Roscoe
Venue:A Classical Mind: Essays in Honour of C.A.R. Hoare