元Chi进程互模拟等价的一致性

• 作者: 傅育熙 林敏
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 进程代数 移动进程 互模拟
• 年，卷（期）: 2001,（12）
• 页码范围: 1793-1800
• 页数: 8页
• 分类号: TP301
• 字数: 7013字
• 语种: 中文

摘要

Chi-演算是将π-演算中两类受限名统一后得到的.多态Chi-演算扩充了Chi-演算的通信能力,使得一次通信可传递多个信息.元Chi-演算是在省略多态Chi-演算的前缀操作子之后得到的子语言.研究了元Chi-演算的互模拟等价关系,证明了在某种意义下,元Chi-进程之间只有一个互模拟等价关系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	傅育熙	上海交通大学计算机科学与工程系	23	137	6.0	11.0
2	林敏	上海交通大学计算机科学与工程系	3	21	2.0	3.0