关于并发系统分支互模拟关系发散性保持的研究

• 作者: 廖文琪 柳欣欣
• 来源期刊: 计算机系统应用
• 关键词: 分支互模拟等价关系 发散性 发散性保持 co-induction定义 染色迹
• 年，卷（期）: 2016,（12）
• 所属期刊栏目: 研究开发
• 页码范围: 215-220
• 页数: 6页
• 字数: 6643字
• 语种: 中文
• DOI: 10.15888/j.cnki.csa.005431

摘要

带发散性说明的分支互模拟是van Glabbeek和Weijland提出的一个概念,并被用来定义等价关系≈△b.该等价关系应该是最弱的一个发散性保持的并且满足分支互模拟性质的等价关系.然而在概念提出时并没有提供这些重要性质的证明,并且我们认为在原定义的基础上这个证明是不显然的.本文通过co-induction的手段利用染色迹的概念定义了着色完全迹等价,并证明该等价关系是最弱的一个保持发散的并且满足分支互模拟性质的等价关系.然后我们证明了着色完全迹等价关系和≈:是相同的,因而补充了van Glabbeek和Weijland的工作,即证明了≈△h是最弱的一个保持发散的并且是满足分支互模拟性质的等价关系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廖文琪	中国科学院软件研究所计算机科学国家重点实验室	1	0	0.0	0.0
5	柳欣欣	中国科学院软件研究所计算机科学国家重点实验室	2	0	0.0	0.0