%0 Journal Article
%T action演算中动作之间数据流分析方法及其实现
%A 金英 金成植？
%J 计算机科学
%D 2002
%X 一前言　　action演算簇(actioncalculi)作为描述一大类并发交互行为模型的数学框架[1,2],是具有某些相同特性的一类演算的集合,其中一个具体的演算称为action演算.action演算可以有三种不同的表示方式,其中分子形式可以说是项代数的形式的一种范式,体现了一种自然的、模块化的表达方式,非常适合于程序设计.……
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=1000426222&flag=1