Similar Items: The $pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable
- The Omega Rule is $mathbf{Pi_{1}^{1}}$-Complete in the $lambdabeta$-Calculus
- Privacy by typing in the $pi$-calculus
- Resource Usage Analysis for the Pi-Calculus
- Formalising the pi-calculus using nominal logic
- Contextual equivalence for higher-order pi-calculus revisited
- Completeness of the ZX-Calculus