| Seal演算与Boxed Ambient演算的关系分析 |
| |
| 引用本文： | 郑晓娟,金英,金成. Seal演算与Boxed Ambient演算的关系分析[J]. 吉林大学学报(信息科学版), 2005, 23(4): 423-428 |
| |
| 作者姓名： | 郑晓娟 金英 金成 |
| |
| 作者单位： | 东北师范大学,软件学院,长春,130117;吉林大学,计算机科学与技术学院,长春,130012 |
| |
| 摘 要： | 研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义.本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价.最后给出了Seal演算通信进程到Boxed Ambient演算通信进程的一种结构化转换方法.
|
| 关 键 词： | Seal演算 Ambient演算 通道 移动代码 |
| 文章编号： | 1671-5896(2005)04-0423-06 |
| 修稿时间： | 2004-10-13 |
Analysis on Relation between Seal-Calculus and Boxed Ambient Calculus |
| |
| ZHENG Xiao-juan,JIN Ying,JIN Cheng-zhi. Analysis on Relation between Seal-Calculus and Boxed Ambient Calculus[J]. Journal of Jilin University:Information Sci Ed, 2005, 23(4): 423-428 |
| |
| Authors: | ZHENG Xiao-juan JIN Ying JIN Cheng-zhi |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
