1. A calculus for cryptographic protocols: the spi calculus;Abadi,1997
2. Psi-calculi: a framework for mobile processes with nominal data and logic;Bengtson;Log. Methods Comput. Sci.,2011
3. A sorted semantic framework for applied process calculi (extended abstract);Borgström,2013
4. Notes on algebraic calculi of processes;Boudol,1985
5. Asynchrony and the Pi-calculus;Boudol,1992