|
|||||
|
|
| 高阶π-演算的互模拟理论研究 | |
| 作者姓名： | Yong-JianLi Xin-XinLiu |
| 作者单位： | LaboratoryofComputerScience,InstituteofSoftware,TheChineseAcademyofSciences,Beijing100080,P.R.China |
| 摘 要： | 标签转移系统语义在早期的进程演算中取得了巨大的成功。基于标签转移系统，Milner与Park引入了互模拟的概念来描述进程间的等价性，互模拟从此成为整个进程演算中的理论基石。在经典的CCS进程演算中，标签转移系统用于描述进程的操作语义，然后在此基础上，互模拟概念通过如下方式被定义出来：两个进程若互模拟，不仅要满足任何一方的行为都要能够被另外一方匹配，同时要 |
| 关 键 词： | 进程 互模拟 π-演算 操作语义 系统 描述 CCS 高阶 等价性 匹配 |
| 本文献已被 维普 等数据库收录！ | |
