Comparing the expressiveness of the $\pi$-calculus and CCS

Rob van Glabbeek

This paper shows that the $\pi$-calculus with implicit matching is no more expressive than CCS$\gamma$, a variant of CCS in which the result of a synchronisation of two actions is itself…