{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:29:44Z","timestamp":1767929384311,"version":"3.49.0"},"publisher-location":"London","reference-count":33,"publisher":"Springer London","isbn-type":[{"value":"9781848829114","type":"print"},{"value":"9781848829121","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-84882-912-1_15","type":"book-chapter","created":{"date-parts":[[2010,8,20]],"date-time":"2010-08-20T16:27:13Z","timestamp":1282321633000},"page":"333-369","source":"Crossref","is-referenced-by-count":4,"title":["On CSP and the Algebraic Theory of Effects"],"prefix":"10.1007","author":[{"given":"Rob","family":"van Glabbeek","sequence":"first","affiliation":[]},{"given":"Gordon","family":"Plotkin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,7,21]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Plotkin, G.D.: A model of cooperative threads. In: Shao, Z., Pierce, B.C. (eds.), Proc. POPL 2009. ACM Press, pp. 29 40 (2009)","DOI":"10.1145\/1594834.1480887"},{"key":"15_CR2","volume-title":"Handbook of Logic in Computer Science","year":"1995","unstructured":"Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.), Handbook of Logic in Computer Science (Vol. 1), Background: Mathematical Structures, Oxford University Press (1995)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Benton, N., Hughes, J., Moggi, E.: Monads and effects. Proc. APPSEM 2000, LNCS 2395, pp. 42 122, Springer (2002)","DOI":"10.1007\/3-540-45699-6_2"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"JA Bergstra","year":"1985","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theor. Comput. Sci. 37, pp. 77 121 (1985)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR5","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of communicating processes. In: de Bakker, J.W., Hazewinkel, M., Lenstra, J.K. (eds.), Proc. of the CWI Symp. Math. and Comp. Sci. pp. 89 138, North-Holland (1986)"},{"key":"15_CR6","unstructured":"Bergstra, J.A., Klop, J.W., Olderog, E.-R.: Failures without chaos: a new process semantics for fair abstraction. In: Wirsing, M. (ed.), Proc. of the 3rd IFIP WG 2.2 working conference on Formal Description of Programming Concepts. pp. 77 103, North-Holland (1987)"},{"issue":"2","key":"15_CR7","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1016\/S0022-0000(76)80030-X","volume":"13","author":"SL Bloom","year":"1976","unstructured":"Bloom, S.L.: Varieties of ordered algebras. J. Comput. Syst. Sci., 13(2):200 212 (1976)","journal-title":"J. Comput. Syst. Sci."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Borceux, F.: Handbook of Categorical Algebra 2, Encyclopedia of Mathematics and Its Applications 51. Cambridge University Press (1994)","DOI":"10.1017\/CBO9780511525858"},{"issue":"3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"SD Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31(3):560 599 (1984)","journal-title":"J. ACM"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/S0019-9958(85)80048-6","volume":"64","author":"R Nicola De","year":"1985","unstructured":"De Nicola, R.: Two complete axiom systems for a theory of communicating sequential processes. Inform. Control 64, pp. 136 172 (1985)","journal-title":"Inform. Control"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1016\/j.jpaa.2007.05.025","volume":"212","author":"K Ebrahimi-Fard","year":"2008","unstructured":"Ebrahimi-Fard, K., Guo, L.: Rota-Baxter algebras and dendriform algebras. J. Pure Appl. Algebra 212(2):320 33 (2008)","journal-title":"J. Pure Appl. Algebra"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains, Encyclopedia of Mathematics and its Applications 93. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511542725"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Hyland, J.M.E., Plotkin, G.D., Power, A.J.: Combining effects: sum and tensor. In: Artemov, S., Mislove, M. (eds.), Clifford Lectures and the Mathematical Foundations of Programming Semantics. Theor. Comput. Sci. 357(1 3):70 99 (2006)","DOI":"10.1016\/j.tcs.2006.03.013"},{"issue":"3","key":"15_CR15","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1017\/S0960129509007555","volume":"19","author":"K. Keimel","year":"2009","unstructured":"Keimel, K., Plotkin, G.D.: Predicate transformers for extended probability and non-determinism. Math. Struct. Comput. Sci. 19(3):501 539. Cambridge University Press (2009)","journal-title":"Math. Struct. Comput. Sci."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Klin, B., Sassone, V.: Structural operational semantics for stochastic process calculi. In: Amadio, R.M. (ed.), Proc. 11th. FoSSaCS. LNCS 4962, pp. 428 442, Springer (2008)","DOI":"10.1007\/978-3-540-78499-9_30"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Milner, A.J.R.G.: A Calculus of Communicating Systems. Springer (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Moggi, E.: Computational lambda-calculus and monads. Proc. 3rd. LICS, pp. 14 23, IEEE Press (1989)","DOI":"10.1109\/LICS.1989.39155"},{"issue":"1","key":"15_CR19","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. Comp. 93(1):55 92 (1991)","journal-title":"Inf. Comp."},{"key":"15_CR20","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/j.entcs.2005.12.093","volume":"162","author":"J Ouaknine","year":"2006","unstructured":"Ouaknine, J., Schneider, S.: Timed CSP: a retrospective, Proceedings of the Workshop \u201cEssays on Algebraic Process Calculi\u201d (APC 25), Electr. Notes Theor. Comput. Sci., 162, pp. 273 276 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D.: Some varieties of equational logic. Essays Dedicated to Joseph A. Goguen. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.), LNCS 4060, pp. 150 156, Springer (2006)","DOI":"10.1007\/11780274_8"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D., Power, A.J.: Notions of computation determine monads, Proc. 5th. FoSSaCS. LNCS 2303, pp. 342 356, Springer (2002)","DOI":"10.1007\/3-540-45931-6_24"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D., Power, A.J.: Computational effects and operations: an overview. In: Escard\u00f3, M., Jung, A. (eds.), Proc. Workshop on Domains VI. Electr. Notes Theor. Comput. Sci. 73, pp. 149 163, Elsevier (2004)","DOI":"10.1016\/j.entcs.2004.08.008"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D., Pretnar, M.: A logic for algebraic effects. Proc. 23rd. LICS, pp. 118 129, IEEE Press (2008)","DOI":"10.1109\/LICS.2008.45"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D., Pretnar, M.: Handlers of algebraic effects. Proc. 18th. ESOP, pp. 80 94 (2009)","DOI":"10.1007\/978-3-642-00590-9_7"},{"issue":"7","key":"15_CR26","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C Priami","year":"1995","unstructured":"Priami, C.: Stochastic pi-calculus. Comput. J. 38 (7):578 589 (1995)","journal-title":"Comput. J."},{"issue":"1 2","key":"15_CR27","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0304-3975(98)00214-X","volume":"211","author":"GM Reed","year":"1999","unstructured":"Reed, G.M., Roscoe, A.W.: The timed failures-stability model for CSP. Theor. Comput. Sci. 211(1 2):85 127 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR28","unstructured":"Roscoe, A.W.: Model-checking CSP. In: Roscoe, A.W. (ed.), A Classical Mind: Essays in Honour of Hoare, C.A.R., pp. 353 337, Prentice-Hall (1994)"},{"key":"15_CR29","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall (1998)"},{"key":"15_CR30","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-Calculus: A Theory of Mobile Processes. Cambridge University Press (2003)"},{"key":"15_CR31","volume-title":"The Semantics and Implementation of Machine-Readable CSP","author":"B Scattergood","year":"1998","unstructured":"Scattergood, B.: The Semantics and Implementation of Machine-Readable CSP. D.Phil Thesis, Oxford University (1998)"},{"key":"15_CR32","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1016\/j.entcs.2005.11.075","volume":"155","author":"M Schr\u00f6der","year":"2006","unstructured":"Schr\u00f6der, M., Simpson, A.: Probabilistic observations and valuations (extended abstract). Electr. Notes Theor. Comput. Sci. 155, pp. 605 615 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"2 3","key":"15_CR33","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1016\/j.tcs.2007.09.024","volume":"390","author":"I Stark","year":"2008","unstructured":"Stark, I.: Free-algebra models for the pi-calculus. Theor. Comput. Sci. 390(2 3):248 270 (2008)","journal-title":"Theor. Comput. Sci."}],"container-title":["Reflections on the Work of C.A.R. Hoare"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84882-912-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T21:09:38Z","timestamp":1740431378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84882-912-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9781848829114","9781848829121"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-1-84882-912-1_15","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}