On CSP and the Algebraic Theory of Effects - van Glabbeek, Rob; Plotkin, Gordon (Reflections on the Work of C.A.R. Hoare, 2010)
Keywords: Free Algebra; Functional Programming; Operation Symbol; Parallel Operator; Process Calculus