1. Abadi, M., Fournet, C.: Access control based on execution history. In: Proceedings of NDSSS 2003, pp. 107–121 (2003)
2. Boudol, G.: Asynchrony and the π-calculus. In: Rapport de Recherche, INRIA Sophia-Antipolis, vol. 1702 (1992)
3. Boudol, G., Castellani, I., Germain, F., Lacoste, M.: Models of distribution and mobility: State of the art. Mikado Deliverable D1.1.1 (2002)
4. Lecture Notes in Computer Science;M. Bugliesi,2004
5. Lecture Notes in Computer Science;L. Cardelli,1999