action演算中动作之间数据流分析方法及其实现

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