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

作     者：金英 金成植 

作者机构：吉林大学计算机科学与技术学院长春130012 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2002年第29卷第Z1期

页      码：90-91,61页

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

主 题 词：演算 数据 流分析 方法及 行为模型 分子形式 程序设计 表示方式 表达方式 模块化 特性 数学 描述 框架 交互 集合 范式 代数 

学科分类：08[工学] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2002.z1.035

馆 藏 号：203116141...