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

• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 进程代数 χ-演算 互模拟 公理化
• 年，卷（期）: 2005,（10）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1626-1637
• 页数: 12页
• 分类号: TP311
• 字数: 7779字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2005.10.007

摘要

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