Seal演算与Boxed Ambient演算的关系分析

• 作者: 郑晓娟 金成 金英
• 来源期刊: 吉林大学学报（信息科学版）
• 学科: 工学
• 关键词: Seal演算 Ambient演算 通道 移动代码
• 年，卷（期）: 2005,（4）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 423-428
• 页数: 6页
• 分类号: TP301
• 字数: 2992字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-5896.2005.04.016

摘要

研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义.本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价.最后给出了Seal演算通信进程到Boxed Ambient演算通信进程的一种结构化转换方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金英	吉林大学计算机科学与技术学院	28	124	6.0	10.0
2	郑晓娟	东北师范大学软件学院	12	35	3.0	5.0
3	金成	吉林大学计算机科学与技术学院	1	3	1.0	1.0