Integration Categories and Communicating Sequential Processes (1994)

by S Abramsky
Venue:Classical Mind: Essays in Honour of Hoare C.A.R