@inbook{vanGlabbeek_Plotkin_10, isbn = {978-1-84882-911-4}, publisher = {Springer}, booktitle = {Reflections on the Work of C.A.R. Hoare}, month = sep, series = {History of Computing}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/3656.pdf}, year = {2010}, editor = {{Cliff B. Jones, A.W. Roscoe \& Kenneth R. Wood}}, keywords = {concurrency, functional programming, computational lambda-calculus, free algebras, (de)constructors, stable failures model}, volume = { }, title = {On {CSP} and the Algebraic Theory of Effects}, pages = {333--369}, author = {van Glabbeek, Robert and Plotkin, Gordon}, address = {London Dordrecht Heidelberg New York} }