From CSP to Game Semantics
S. Abramsky
Book Title
Reflections on the Work of C.A.R. Hoare
Pages
33–45
Publisher
Springer
Year
2010
S. Abramsky