《计算机学报》文章摘要   全文下载
文章题目	Seal演算的偶图语义
作者	金龙飞 刘磊
作者单位	(吉林大学计算机科学与技术学院 长春 130012)
发表年份	2008
发表月份	3期(522—528)
文章摘要	摘要 偶图反应系统是一种新的理论工具，其基础是一种强调位置和连接的移动计算图形化模型——偶图，偶图范化了π演算和移动Ambient演算的特征，能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一的建模框架.Seal演算是一种用于描述移动计算的进程语言，具有良好的安全性质.文中给出了一种不带复制进程表达式的Seal演算的偶图表示，分析了该Seal演算与其偶图表示间的结构对应和操作对应.本研究扩展了偶图理论的应用范围，展示了偶图理论在描述安全演算方面的能力，为在偶图反应系统框架下研究Seal演算的性质和应用奠定了基础. 关键词 Seal演算；偶图；偶图反应系统；结构对应；操作对应