From CSP to Game Semantics - Abramsky, Samson (Reflections on the Work of C.A.R. Hoare, 2010)
Keywords: Cartesian Closed Category; Deterministic Computation; Game Semantic; Process Calculus; Semantic Construction