Author:
Jin Ying,Liu Lei,Zheng Xiao-juan
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Bodel, C., Deggan, P., Nielson, F., Riis Nielson, H.: Static Analysis for the π-calculus with Applications to Security, Available at: http://www.di.unipi.it/~chiars/publ-40/BDNN100.ps
2. Lecture Notes in Computer Science;C. Bodei,1998
3. Lecture Notes in Computer Science;P. Degano,2000
4. Gasser, K.L.S., Nielson, F., Nielson, H.R.: Systematic realization of control flow analysis for CML. In: Proceedings of ICFP 1997, pp. 38–51. ACM Press, New York (1997)
5. Gardner, P.: Closed Action Calculi. Theoretical Computer Science, vol. 228 (1999)