%0 Journal Article
%T A Bisimulation Congruence Definition Framework for Mobile Process Calculi<br>一个移动进程演算的互模拟同余定义框架
%A CHEN Tao-Lue LI Bin HU Hao LU Jian
%A <br>陈韬略
%A 李斌
%A 胡昊
%A 吕建
%J 计算机科学
%D 2004
%I 
%X 并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题，而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上，通过抽取定义的核心要素，提出了一个三维的互模拟同余定义模型，从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来，加深了我们对移动进程演算中互模拟概念的理解；同时本文利用这个模型，系统分析了各种互模拟之阿的关系。模型的优点在于它的普适性和开放性。
%K Concurrent theory
%K Mobile process calculus
%K Bisimulation
%K General framework<br>移动进程演算
%K 互模拟同余定义
%K 计算机科学
%K 并发理论
%K 传名机制
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=C1B8BDEA6164A3F5&yid=D0E58B75BFD8E51C&vid=4AD960B5AD2D111A&iid=CA4FD0336C81A37A&sid=708DD6B15D2464E8&eid=23CCDDCD68FFCC2F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=27