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

廖文琪; 柳欣欣

首页> 中文期刊> 《计算机系统应用》 >关于并发系统分支互模拟关系发散性保持的研究

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机系统应用》 |2016年第12期|215-220|共6页
作者
廖文琪; 柳欣欣;
展开▼
作者单位

中国科学院软件研究所计算机科学国家重点实验室;

北京100190;

中国科学院大学;

北京100190;

中国科学院软件研究所计算机科学国家重点实验室;

北京100190;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
分支互模拟等价关系; 发散性; 发散性保持; co-induction定义; 染色迹;

相似文献

中文文献
外文文献
专利

1. 在发散性思维与收敛性思维之间保持必要的张力——评图书馆学研究中的“贝尔纳现象” [J] . 三思 . 图书馆学研究 . 1987,第3期
2. 母牛分支杆菌菌苗防治实验性尘肺大鼠并发结核病的实验研究 [J] . 段连山 ,杨祖六 . 结核病与胸部肿瘤 . 1998,第002期
3. 母牛分支杆菌防治实验性尘肺大鼠并发结核病的实验研究 [J] . 段连山 ,梁桂芳 ,李惠文 . 四川生理科学杂志 . 1998,第003期
4. 新生儿化脓性脑膜炎神经系统并发症与血清NSE、S-100B、NT-proCNP水平的关系研究 [J] . 侯秋英 ,应勤来 ,张梅娟 . 浙江医学 . 2021,第018期
5. 儿童系统性红斑狼疮并发无菌性骨坏死与糖皮质激素用量的关系 [J] . 程雁 ,姜秋泉 . 现代实用医学 . 2007,第001期
6. 培养学生创造力与发散性思维的关系 [C] . 吴建国 . 第四届全国中学化学教学研讨会 . 2004
7. 无限状态系统上分支互模拟等价验证 [A] . 尹强 . 2016

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

摘要

著录项

相似文献

相关主题

期刊订阅