Seal演算的偶图语义

• 作者: 刘磊 金龙飞
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Seal演算 偶图 偶图反应系统 结构对应 操作对应
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 短文
• 页码范围: 522-528
• 页数: 7页
• 分类号: TP311
• 字数: 5446字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2008.03.019

摘要

偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型--偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一的建模框架.Seal演算是一种用于描述移动计算的进程语言,具有良好的安全性质.文中给出了一种不带复制进程表达式的Seal演算的偶图表示,分析了该Seal演算与其偶图表示间的结构对应和操作对应.本研究扩展了偶图理论的应用范围,展示了偶图理论在描述安全演算方面的能力,为在偶图反应系统框架下研究Seal演算的性质和应用奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	金龙飞	吉林大学计算机科学与技术学院	10	98	5.0	9.0