非对称带不等算子的χ≠-演算
点击次数：
第一作者：钟发荣
发表时间：2006-01-01
发表刊物：淮北煤炭师范学院学报（自然科学版）
所属单位：数理与信息工程学院
文献类型：期刊
卷号：第27卷
期号：第2期
页面范围：1-13
ISSN号：2095-0691
关键字：进程演算；Chi进程；互模拟；公理化
摘要：文章系统研究非对称带不等算子χ≠-演算进程上的互模拟.通过构造互模拟格,从全部 L-互模拟关系中导出 12个互异的 L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同余关系.提出 3个更新律,并修改了 3个τ律.最后,给出了 14个同余关系的可靠完备系统.
是否译文：否
上一条：异步非对称Chi演算的互模拟格
下一条：关于归纳证明的探讨