1. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: POPL, pp. 104–115. ACM Press, New York (2001)
2. Lecture Notes in Computer Science;M. Bugliesi,2005
3. Bugliesi, M., Giunti, M.: Secure implementations of typed channel abstractions. In: POPL, pp. 251–262. ACM Press, New York (2007)
4. Bugliesi, M., Macedonio, D., Rossi, S.: Static vs dynamic typing for access control in pi-calculus (extended version). Technical Report CS-2007-5, Dipartimento di informatica, Università Ca’ Foscari di Venezia (2007), Also available at: http://www.dsi.unive.it/~mace/ASIAN07.pdf
5. Lecture Notes in Computer Science;M. Coppo,2005