| Seal演算的偶图语义 |
| |
| 引用本文： | 金龙飞,刘磊.Seal演算的偶图语义[J].计算机学报,2008,31(3):522-528. |
| |
| 作者姓名： | 金龙飞 刘磊 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院,长春,130012 |
| |
| 基金项目： | 高等学校博士学科点专项科研项目
,
吉林省科技发展计划 |
| |
| 摘 要： | 偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型--偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一的建模框架.Seal演算是一种用于描述移动计算的进程语言,具有良好的安全性质.文中给出了一种不带复制进程表达式的Seal演算的偶图表示,分析了该Seal演算与其偶图表示间的结构对应和操作对应.本研究扩展了偶图理论的应用范围,展示了偶图理论在描述安全演算方面的能力,为在偶图反应系统框架下研究Seal演算的性质和应用奠定了基础.
|
| 关 键 词： | Seal演算 偶图 偶图反应系统 结构对应 操作对应 |
| 修稿时间： | 2006年2月13日 |
Bigraphical Semantics of Seal Calculus |
| |
| JIN Long-Fei,LIU Lei.Bigraphical Semantics of Seal Calculus[J].Chinese Journal of Computers,2008,31(3):522-528. |
| |
| Authors: | JIN Long-Fei LIU Lei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
