| 带Mismatch算子的高阶π演算 |
| |
| 引用本文： | 徐贤.带Mismatch算子的高阶π演算[J].软件学报,2014,25(11):2433-2451. |
| |
| 作者姓名： | 徐贤 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系，上海 200237; 上海交通大学计算机科学与技术系，上海 200240 |
| |
| 基金项目： | 国家自然科学基金-法国国家科研署联合项目PACE(61261130589, 12IS02001);国家自然科学基金(61202023, 61173048) |
| |
| 摘 要： | 主要研究带mismatch的高阶进程演算的公理化问题。首先，建立存在mismatch时高阶进程的开弱高阶互模拟理论，证明了等价关系、同余性等重要性质；其次，沿用线性的方法，构建得到带 mismatch 的有限进程上的公理系统；最后，基于对开弱高阶互模拟的刻画，证明了该公理系统的完备性定理。该工作为带 mismatch 的高阶进程上互模拟判定的有效算法的设计与实现，进而为相关的应用建模工作提供了理论借鉴。
|
| 关 键 词： | 公理化 互模拟 mismatch 线性 高阶 π演算 进程演算 |
| 收稿时间： | 2008/8/21 0:00:00 |
| 修稿时间： | 2013/11/11 0:00:00 |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
