-
题名一个移动进程演算的互模拟同余定义框架
- 1
-
-
作者
陈韬略
李斌
胡昊
吕建
-
机构
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2004年第1期11-15,27,共6页
-
基金
国家重点基础研究发展规划973项目(No.2002CB312002)
国家自然科学基金(No.60273034)
+2 种基金
国家863高科技项目(No.2001AA113110
N o.2002AA116010)
江苏省教育厅自然科学基金(No.01KJB520010)
-
文摘
并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上,通过抽取定义的核心要素,提出了一个三维的互模拟同余定义模型,从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来,加深了我们对移动进程演算中互模拟概念的理解;同时本文利用这个模型,系统分析了各种互模拟之间的关系。模型的优点在于它的普适性和开放性。
-
关键词
移动进程演算
互模拟同余定义
计算机科学
并发理论
传名机制
-
Keywords
concurrent theory,mobile process calculus,bisimulation,general framework
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
