吉林大学学报（信息科学版）2005，Vol.23Issue(4)：423-428,6.
Seal演算与Boxed Ambient演算的关系分析
Analysis on Relation between Seal-Calculus and Boxed Ambient Calculus
郑晓娟 1金英 2金成2
作者信息
- 1. 东北师范大学,软件学院,长春,130117
- 2. 吉林大学,计算机科学与技术学院,长春,130012
- 折叠
摘要
关键词
Seal演算/Ambient演算/通道/移动代码分类
信息技术与安全科学引用本文复制引用
郑晓娟,金英,金成..Seal演算与Boxed Ambient演算的关系分析[J].吉林大学学报（信息科学版）,2005,23(4):423-428,6.
