论文部分内容阅读
一前言 Action演算簇(action calculi)作为描述一大类并发交互行为模型的数学框架[1,2],是具有某些相同特性的一类演算的集合,其中一个具体的演算称为action演算.Action演算可以有三种不同的表示方式,其中分子形式可以说是项代数的形式的一种范式,体现了一种自然的、模块化的表达方式,非常适合于程序设计.……