π-演算互模拟判定算法的优化和实现

• 作者: 方海 林惠民 许文
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 进程代数 π-演算 互模拟 验证算法
• 年，卷（期）: 2001,（2）
• 页码范围: 159-166
• 页数: 8页
• 分类号: TP301
• 字数: 7863字
• 语种: 中文

摘要

π-演算采用互模拟作为进程等价的准则.对有限状态的π-演算进程互模拟等价是可判定的，由此提出了互模拟检测算法的一种优化技术.该技术基于只将输入名字实例化为在以后的等名测试中用到的自由名字.通过实例说明这一优化技术可大大减少所用的时间和空间,并证明了优化算法的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林惠民	中国科学院软件研究所	11	360	5.0	11.0
2	许文	中国科学院软件研究所	6	19	3.0	4.0
3	方海	中国科学院软件研究所	2	13	2.0	2.0