On CSP and the Algebraic Theory of Effects

DOI10.1007/978-1-84882-912-1_15zbMath1215.68160arXiv1007.5488OpenAlexW3106393588MaRDI QIDQ3163411

Robert J. van Glabbeek, Gordon D. Plotkin

Publication date: 26 October 2010

Published in: Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.5488

zbMATH Keywords

Moggi's computational \(\lambda\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Runners for interleaving algebraic effects

This page was built for publication: On CSP and the Algebraic Theory of Effects