非对称~(χ≠)-演算的基同余
点击次数：
第一作者：钟发荣
发表时间：2005-01-01
发表刊物：计算机学报
所属单位：数理与信息工程学院
文献类型：期刊
卷号：第28卷
期号：第10期
页面范围：1626-1637
ISSN号：0254-4164
关键字：进程代数；χ-演算；互模拟；公理化
摘要：该文研究非对称χ≠-演算的基同余.文中引入一组L-互模拟关系,并确定基互模拟就是由L-互模拟定义导出的12个互异的互模拟关系中的最小关系,给出了某些L-互模拟的开模拟性质,利用开模拟性质引入开基互模拟概念,并证明开基互模拟与基互模拟是一致的,构造了基于基同余的可靠和完备的等式系统,最后给出了基同余的完备性定理.
是否译文：否