弱互模拟相关论文
进程代数作为描述和分析并发与分布式系统的重要工具之一,是并发理论的主流研究方向。互模拟是进程代数的核心概念之一,用来刻画进......
本文在文献[1]，[2]的框架下，首先，对带不可观察迁移的LTS给出了弱不变量的定义，讨论了其性质及与其它概念(包括弱互模拟、弱同态、不变......
基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验......
本文在文献[1，2]的框架下给出了弱不变量的定义，讨论了其性质及与不变量之间的关系。此外，本文还引入了迁移系统的限制乘积概念，并以此......
