论文部分内容阅读
主要研究带mismatch的高阶进程演算的公理化问题．首先，建立存在mismatch时高阶进程的开弱高阶互模拟理论，证明了等价关系、同余性等重要性质；其次，沿用线性的方法，构建得到带mismatch的有限进程上的公理系统；最后，基于对开弱高阶互模拟的刻画，证明了该公理系统的完备性定理．该工作为带mismatch的高阶进程上互模拟判定的有效算法的设计与实现，进而为相关的应用建模工作提供了理论借鉴．