版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
Control flow analysis for the applied π-calculus
作者机构：Dipartimento di Informatica Università di Pisa Italy
出 版 物：《Electronic Notes in Theoretical Computer Science》 (Electron. Notes Theor. Comput. Sci.)
年 卷 期：2004年第99卷
页 面：87-110页
核心收录：
学科分类：1205[管理学-图书情报与档案管理] 08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：We define a control flow analysis for the applied π-calculus and we prove it correct with respect to the operational semantics. Then, we apply our analysis to verify a simple security property. © 2004 Elsevier B.V. All rights reserved.
