非对称χ≠-演算的基同余

摘要：

该文研究非对称χ≠-演算的基同余.文中引入一组L -互模拟关系,并确定基互模拟就是由L -互模拟定义导出的12个互异的互模拟关系中的最小关系,给出了某些L -互模拟的开模拟性质,利用开模拟性质引入开基互模拟概念,并证明开基互模拟与基互模拟是一致的,构造了基于基同余的可靠和完备的等式系统,最后给出了基同余的完备性定理.

关键词：进程代数、χ-演算、互模拟、公理化

所属期刊栏目：28

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金;国家重点基础研究发展计划（973计划）;国家自然科学基金

在线出版日期：2005-11-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：1626-1637