弱互模拟论文

一种高阶进程代数的弱互模拟研究
论文摘要进程代数作为描述和分析并发与分布式系统的重要工具之一,是并发理论的主流研究方向。互模拟是进程代数的核心概念之一,用来刻画进程之间的等价关系,其中描述观察等效的弱互模拟是...
LTS中的弱不变量与限制乘积
论文摘要本文在文献[1]，[2]的框架下，首先，对带不可观察迁移的LTS给出了弱不变量的定义，讨论了其性质及与其它概念(包括弱互模拟、弱同态、不变量等)之间的关系。其次，本文还...