%0 Journal Article
%T 一个移动进程演算的互模拟同余定义框架
%A 陈韬略 李斌 胡昊 吕建？
%J 计算机科学
%D 2004
%X 并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题，而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上，通过抽取定义的核心要素，提出了一个三维的互模拟同余定义模型，从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来，加深了我们对移动进程演算中互模拟概念的理解；同时本文利用这个模型，系统分析了各种互模拟之阿的关系。模型的优点在于它的普适性和开放性。
%K 移动进程演算互模拟同余定义计算机科学并发理论传名机制
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=9037400&flag=1