带Mismatch算子的高阶π演算?

• 作者: 徐贤
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 公理化 互模拟 mismatch 线性 高阶 π演算 进程演算
• 年，卷（期）: 2014,（11）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 2433-2451
• 页数: 19页
• 分类号: TP301
• 字数: 20526字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐贤	华东理工大学计算机科学与工程系	5	15	2.0	3.0