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

摘要：

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

关键词：进程代数、π-演算、互模拟、验证算法

所属期刊栏目：12

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金69833020

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：159-166