异步非对称Chi演算的互模拟关系的研究.pdfVIP

异步非对称Chi演算的互模拟关系研究 摘要 在现有的≥1：发分布式系统中，信息的发送往往是非阻塞的，必 须采用异步的通信方式。而实际的程序设计严格区分输入和输出动 作，即非对称通信。本文研究一个新进程演算，即异步非对称Chi 演算。异步非对称Chi演算是目前最接近于现有的分布式程序设计 语言的形式化演算，值得深入研究。我们研究异步非对称Chi演算 的互模拟关系，从而为进一步研究该演算的互模拟同余公理化铺平 道路。 本文定义了异步非对称Chi演算的语法和操作语义，通过统一 框架定义了一组￡一互模拟关系。但是这些互模拟关系大部分是重叠 的，可把它们分成几个组，每个组内的互模拟关系完全相同。可以 从每个组中取出一个互模拟关系，作为该组的代表元，按这些代表 元之间的包含关系构造异步非对称Chi演算的互模拟格。本文研究 了与互模拟格中最大元相关的barbed互模拟关系。 关键词：异步非对称Chi演算；Chi演算；互模拟格；进程代数 OnBisimilaritiesof ASynchrOnouSAsymmetric Chi．Calculus ABSTRACT In distributed of isoften existing systems，thesendingmessage unblockedthat to communicationmode．And correspondsasynchronous in must between practicalprogramming，westrictlydistinguishinput and to actions is is actions，that output say,communicationasymmetric． Anew the calculus，called process asynchronousasymmetric studiedinthethesis．The chi-calculus，is asynchronousasymmetric whichis the chi-calculusisacalculus closestto distributed existing and ofresearchfurther．We programminglanguageworthy study bisimularitiesof we asynchronousasymmetric the forfurtherresearchon bisimulation pave way axiomatizing ofthecalculus． congruences T