Unfolding CSP

DOI10.1007/978-1-84882-912-1_10zbMath1346.68128OpenAlexW4249720081MaRDI QIDQ3163405

Mikkel Bundgaard, Arthur J. Milner

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://doi.org/10.1007/978-1-84882-912-1_10

zbMATH Keywords

CSP operators

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Unfolding CSP