带Mismatch算子的高阶π演算?

摘要：

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

关键词：公理化、互模拟、mismatch、线性、高阶、π演算、进程演算

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

资助基金：国家自然科学基金-法国国家科研署联合项目PACE61261130589,12IS02001;国家自然科学基金61202023,61173048

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

页数：共19页

页码：2433-2451