论文部分内容阅读
该文就移动进程演算中的弱开同余关系进行研究.文中考虑了一种简单的非确定性移动进程演算模型，证明了Milner的三条tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到弱开同余关系的完全公理化系统.文中提出了第四条tau规则，处理了在前缀操作下的等名测试算子，并证明了强开同余关系的完全公理化系统加上四条tau规则可得到弱开同余关系的完全公理化系统.该文的结论否定了关于Milner的三条tau规则足以将π-演算中的强同余关系的完全公理化系统提升到弱同余关系的完全公理化系统的猜想.