| 一个移动进程演算的互模拟同余定义框架 |
| |
| 引用本文： | 陈韬略,李斌,胡昊,吕建.一个移动进程演算的互模拟同余定义框架[J].计算机科学,2004,31(1):11-15. |
| |
| 作者姓名： | 陈韬略 李斌 胡昊 吕建 |
| |
| 作者单位： | 南京大学计算机软件新技术国家重点实验室,南京,210093 |
| |
| 基金项目： | 国家重点基础研究发展规划973项目(No.2002CB312002)，国家自然科学基金(No.60273034)，国家863高科技项目(No.2001AA113110,N o.2002AA116010)，江苏省教育厅自然科学基金(No.01KJB520010) |
| |
| 摘 要： | 并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题，而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上，通过抽取定义的核心要素，提出了一个三维的互模拟同余定义模型，从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来，加深了我们对移动进程演算中互模拟概念的理解；同时本文利用这个模型，系统分析了各种互模拟之阿的关系。模型的优点在于它的普适性和开放性。
|
| 关 键 词： | 移动进程演算 互模拟同余定义 计算机科学 并发理论 传名机制 |
A Bisimulation Congruence Definition Framework for Mobile Process Calculi |
| |
| CHEN Tao-Lue LI Bin HU Hao LU Jian.A Bisimulation Congruence Definition Framework for Mobile Process Calculi[J].Computer Science,2004,31(1):11-15. |
| |
| Authors: | CHEN Tao-Lue LI Bin HU Hao LU Jian |
| |
| Abstract: | |
| |
| Keywords: | Concurrent theory Mobile process calculus Bisimulation General framework |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
