规约系统论文

一种高阶进程代数的弱互模拟研究
论文摘要进程代数作为描述和分析并发与分布式系统的重要工具之一,是并发理论的主流研究方向。互模拟是进程代数的核心概念之一,用来刻画进程之间的等价关系,其中描述观察等效的弱互模拟是...