| 移动进程演算中的开互模拟 |
| |
| 引用本文： | 傅育熙.移动进程演算中的开互模拟[J].计算机学报,2001,24(7):673-679. |
| |
| 作者姓名： | 傅育熙 |
| |
| 作者单位： | 上海交通大学计算机科学与工程系 |
| |
| 基金项目： | 国家自然科学基金 (69873 0 3 2 )，教育部优秀青年教师资助项目，高等学校骨干教师资助计划，上海高校软件理论研究中心 |
| |
| 摘 要： | 该文就移动进程演算中的弱开同余关系进行了研究。文中考虑了一种简单的非确定性移动进程演算模型，证明了Milner的三条tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到同余关系的完全公理化系统，文中提出了第四条tau规则，处理了在前缀操作下的等名测试算子，并证明了强开同余关系的完全公理化系统加上四条tau规则可得到弱开同余关系的完全公理化系统。该文的结论否定了关于Milner的三条tau规则足以将π－演算中的强同余关系的完全公理化系统提升到弱同余关系的完全公理化系统的猜想。
|
| 关 键 词： | 进程代数 互模拟 公理化 移动进程演算 计算机 |
| 修稿时间： | 2000年2月5日 |
An Open Problem of Mobile Processes |
| |
| FU Yu,Xi.An Open Problem of Mobile Processes[J].Chinese Journal of Computers,2001,24(7):673-679. |
| |
| Authors: | FU Yu Xi |
| |
| Abstract: | |
| |
| Keywords: | concurrency theory process algebra bisimulation axiomatization |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
