Ambient演算的数据流分析方法及其实现

摘要：

针对Ambient演算的定义,提出了Ambient演算语法结构树的概念,并且给出一个基于Ambient语法结构树的Ambient演算的数据流分析方法及其实现.为深入研究Ambient演算的性质和应用提供了分析手段.

关键词：Ambient演算、数据流分析、Ambient语法结构树

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：吉林省科技厅科研项目20050527

在线出版日期：2006-09-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：247-248,255