Similar Items: Contextual equivalence for higher-order pi-calculus revisited
- Privacy by typing in the $pi$-calculus
- Resource Usage Analysis for the Pi-Calculus
- Formalising the pi-calculus using nominal logic
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
- The $pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable
- Type Reconstruction for the Linear pi-Calculus with Composite Regular Types