Action演算相关论文
Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把(演......
针对Action演算的分子形式, 提出分子语法结构树等概念, 并且给出基于分子语法结构树的一个动作内部数据流分析方法及其实现. 为深......
