| 元Chi进程互模拟等价的一致性 |
| |
| 引用本文： | 林敏,傅育熙.元Chi进程互模拟等价的一致性[J].软件学报,2001,12(12):1793-1800. |
| |
| 作者姓名： | 林敏 傅育熙 |
| |
| 作者单位： | 上海交通大学计算机科学与工程系, |
| |
| 基金项目： | 国家自然科学基金资助项目(69873032);国家863高科技发展计划资助项目(863-306 ZT06-02-2) |
| |
| 摘 要： | Chi-演算是将π-演算中两类受限名统一后得到的.多态Chi-演算扩充了Chi-演算的通信能力,使得一次通信可传递多个信息.元Chi-演算是在省略多态Chi-演算的前缀操作子之后得到的子语言.研究了元Chi-演算的互模拟等价关系,证明了在某种意义下,元Chi-进程之间只有一个互模拟等价关系.
|
| 关 键 词： | 进程代数 移动进程 互模拟 |
| 文章编号： | 1000-9825/2001/12(12)1793-08 |
| 收稿时间： | 8/3/1999 12:00:00 AM |
| 修稿时间： | 7/4/2000 12:00:00 AM |
Uniformity of Bisimulation Equivalences of Chi Processes |
| |
| LIN Min and FU Yu-xi.Uniformity of Bisimulation Equivalences of Chi Processes[J].Journal of Software,2001,12(12):1793-1800. |
| |
| Authors: | LIN Min and FU Yu-xi |
| |
| Abstract: | |
| |
| Keywords: | process algebra mobile process bisimulation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
