• EN
教师基本信息
钟发荣
性别:男
学位:博士学位 在职信息:在岗

个人信息 Personal information

学历:博士研究生毕业 毕业院校:上海交通大学 在职信息:在岗 所在单位:数学与计算机科学学院 入职时间:1986-07-01 职务:未聘任

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

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