一个移动进程演算的互模拟同余定义框架.pdfVIP

维普资讯 计算机科学2004Vo1．31N9．1 一 个移动进程演算的互模拟同余定义框架 陈韬略 李 斌 胡 吴 吕 建 (南京大学计算机软件新技术国家重点实验室 南京210093) 摘 要 并发计算模型是理论计算机科学研究的重要领域之一。以【演算为代表的移动进程演算是 目前并发理论的 研究热点 。互模拟等价定义是移动进程演算研究中的核心概念和问题 ，而传名机制使得移动进程演算 中的互模拟 同余 关系更加复杂和有趣 。本文在分析 了常见的互模拟同余定义的基础上 ，通过抽取定义的核心要素，提 出了一个三维的 互模拟 同余定叉模 型，从而将一般文献 中常见的互模拟定义纳入到一个统一的框架中来 ，加深 了我们对移动进程演算 中互模拟概念 的理解 ；同时本文利用这个模型，系统分析 了各种互模拟之阿的关系。模型的优点在于它的普适性和开 放 性 。 关键词 并发理论 ，移动进程演算 ，互模拟 ，通用框架 A BisimulationCongruenceDefinitionFrameworkforM obileProcessCalculi CHENTao-Lue LIBin HU Hao LU Jian (StateKeyLaboratoryforNovelSoftwareTechnology-NanjingUniversity，Nanjing，210093) Abstract ConcurrentcomputationmodeliSoneofthemostimportantfieldsintheoreticalcomputerscience．Mobile processcalculus，notably calculus．isoneofthehottestfieldsinconcurrenttheory．Bisimulationequivalenceisthe keyconceptandproblem intheresearchofthiskindofcalculus．However，thename·passingmechanism makesthe definition of bisimulation congruence more intricacy and interesting．Based on our understanding ofcommon bisimulationcongruencedefinitions，averygenericframeworkisproposedforanalysisandsystematicstudyofsuch deIinitions．Mostofcommonbisimulationcongruencecanbeembeddedinthisuniform model。whichprovidessome insightintobisimulationcongruenceinmobileprocesscalculus；basedon thismodel，therelationsbetween these congruencerelationsaresystematicallystudiedandcanbespecifiedinauniform andclearway．Themainmeritsof thisframeworklieinitsgeneralityandopenness． Keywords Concurrenttheory，Mobileprocesscalculus，Bisimulation，Generalframework 理论和实践 中需要我们对移动这一概念加 以描述。由 1．引言 R．Milner，J．Parrow和D．Walker等人提出的【演