1[1]Milner R. Action calculi, or concrete action structures. In:Borzyszkowski, A.M. , Sokolowski, S. , eds. Proc. of the 18th Intl. Symposium on Mathematical Foundations of Computer Science. Lecture Notes in Computer Sciences 711, Berlin: SpringerVerlag, 1993. 105～121
2[2]Milner R. Calculi for Interaction. Acta Inform, 1996, 33(8):707～737
3[3]Gardner P, Hasegawa M. Higher-order and reflexive action calculi: their type theory and models. 1998. http://www. cl. cam.ac. uk/users/pag20/horac. ps. gz
4[4]Bodei C,Degano P,Nielson F,Nielson H R. Control flow analysis for the π-calculus. In:Proc. of CONCUR'98, LNCS 1466,Springer-Verlag, 1998. 84～ 89
5[5]Degano P,Levi F,Bodei C. Safe Ambients: Control Flow Analysis and Security. In:Proc. of ASIAN '00. LNCS,Springer-Verlag,1961. 199～214
