Interaction Categories and Communicating Sequential Processes
S. Abramsky
Book Title
A Classical Mind: Essays in honour of C. A. R. Hoare
Editor
A. W. Roscoe
Pages
1−16
Publisher
Prentice Hall International
Year
1994
S. Abramsky