Interaction categories and communicating sequential processes (1995)

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