论文摘要
进程代数作为描述和分析并发与分布式系统的重要工具之一,是并发理论的主流研究方向。互模拟是进程代数的核心概念之一,用来刻画进程之间的等价关系,其中描述观察等效的弱互模拟是最为重要的互模拟之一,其性质往往比较难以研究。高阶进程代数在描述一些系统的时候比较直观,很有优势,受到越来越多的关注,但高阶进程代数的性质难以刻画。本文研究的高阶π演算一直没有一个很自然且相对简单的建立在带标记语义系统之上的等价关系,不是给定的互模拟性质太强,就是给出的互模拟证明很繁琐。有学者用环境带标记的转换语义来刻画高阶进程代数,给出的互模拟形式相对简洁。本文研究了建立在环境带标记的转换基础之上的受限的高阶π演算的弱互模拟,证明了弱互模拟的代数性质和同余性质。近来,人们也越来越多地用规约语义描述进程代数,因为规约语义简洁且能给出一个满意的数学分析。我们介绍了一个规约系统,基于它证明了其与上面给出的环境带标记的语义在弱互模拟的情况下是有等价关系的,即两个进程是弱互模拟的当且仅当它们是规约barbed同余的。
论文目录
相关论文文献
- [1].(η,α)-互模拟的分层及判定算法[J]. 计算机工程与科学 2015(03)
- [2].广义可能性互模拟及其逻辑刻画[J]. 计算机工程与科学 2015(05)
- [3].互模拟准局部验证算法的扩展与实现[J]. 软件学报 2018(06)
- [4].互模拟理论的逻辑研究述评[J]. 哲学动态 2010(04)
- [5].n-互模拟及其相关性质[J]. 电子世界 2017(23)
- [6].基于ε-互模拟的软件近似正确性模型[J]. 计算机工程与应用 2013(11)
- [7].n-互模拟量化逻辑语言的不变性[J]. 电子世界 2017(24)
- [8].基于带数据约束实时系统的互模拟检测方法[J]. 计算机技术与发展 2016(01)
- [9].标号迁移系统的互模拟关系及其性质[J]. 福建工程学院学报 2018(06)
- [10].线性半代数变迁系统的近似互模拟等价[J]. 吉林大学学报(工学版) 2013(04)
- [11].多项式程序模型的互模拟等价[J]. 北京交通大学学报 2011(05)
- [12].n-精化与n-互模拟之间相关问题的研究[J]. 计算机技术与发展 2018(04)
- [13].基于可能性测度的计算树逻辑CTL~*与可能性互模拟[J]. 计算机科学 2012(10)
- [14].关于并发系统分支互模拟关系发散性保持的研究[J]. 计算机系统应用 2016(12)
- [15].连续时间Markov决策过程互模拟等价及逻辑保持[J]. 控制理论与应用 2016(08)
- [16].基于环境的软件正确性形式化描述[J]. 山东大学学报(理学版) 2011(09)
- [17].带状态反馈控制的概率布尔网络上基于互模拟的稳定性研究（英文）[J]. Frontiers of Information Technology & Electronic Engineering 2020(02)
- [18].互模拟的含义、特征及主要应用[J]. 重庆理工大学学报(社会科学) 2010(02)
- [19].软件动态正确性的形式化描述[J]. 计算机研究与发展 2013(03)
- [20].多精度混合弹性变形及其交互模拟[J]. 计算机辅助设计与图形学学报 2016(06)
- [21].生成诊断公式的有限状态进程等价验证[J]. 计算机工程与设计 2010(02)
- [22].基于内模型的知识遗忘[J]. 福建农林大学学报(自然科学版) 2011(03)
- [23].非良基集合的域和分类[J]. 逻辑学研究 2014(02)
- [24].基于SPH方法的流体与可变形固体交互模拟[J]. 黑龙江大学自然科学学报 2012(05)
- [25].分级论辩系统的逻辑研究[J]. 计算机科学 2020(05)
- [26].结构化标记转换系统的部分互模拟与共变-逆变模拟[J]. 成都信息工程学院学报 2014(05)
- [27].带Mismatch算子的高阶π演算[J]. 软件学报 2014(11)
- [28].基于互模拟的模态逻辑与非良基集合论之间的关系[J]. 毕节学院学报 2012(01)
- [29].并发加权μ-演算的一致性内插[J]. 计算机技术与发展 2018(11)
- [30].互模拟及其与模态等价之间的关系[J]. 毕节学院学报 2013(08)
标签：高阶进程代数论文; 弱互模拟论文; 环境带标记的转换论文; 规约系统论文; 等价性论文;