CSP is Expressive Enough for π

DOI10.1007/978-1-84882-912-1_16zbMath1215.68159OpenAlexW2117781657MaRDI QIDQ3163412

A. W. Roscoe

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_16

zbMATH Keywords

\(\pi\)-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Process Algebra and Model Checking ⋮ Comparing the expressiveness of the \(\pi \)-calculus and CCS ⋮ Denotational semantics of channel mobility in UTP-CSP

This page was built for publication: CSP is Expressive Enough for π