1. Checking security policies through an enhanced Control Flow Analysis;Bodei;Journal of Computer Science,2005
2. On the Expressive Power of Polyadic Synchronisation in the π-calculus;Carbone;Nordic Journal of Computing,2003
3. Mobile ambients;Cardelli;Theoretical Computer Science,2000
4. Algorithmic type checking for a pi-calculus with name matching and session types;Giunti;The Journal of Logic and Algebraic Programming,2013
5. A taxonomy of process calculi for distribution and mobility;Gorla;Distributed Computing,2010