Seal演算的偶图语义

金龙飞; 刘磊

首页> 中文期刊> 《计算机学报》 >Seal演算的偶图语义

Seal演算的偶图语义

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机学报》 |2008年第3期|522-528|共7页
作者
金龙飞; 刘磊;
展开▼
作者单位

吉林大学计算机科学与技术学院;

长春;

130012;

吉林大学计算机科学与技术学院;

长春;

130012;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
Seal演算; 偶图; 偶图反应系统; 结构对应; 操作对应;

相似文献

中文文献
外文文献
专利

1. Seal演算与Boxed Ambient演算的关系分析 [J] . 郑晓娟 ,金英 ,金成 . 吉林大学学报（信息科学版） . 2005,第004期
2. 谓词μ演算和模态图的语义一致性 [J] . 刘剑 ,林惠民 . 软件学报 . 2003,第010期
3. 基于Seal演算的分布式系统安全模型 [J] . 黄勇 ,吴尽昭 . 计算机科学 . 2015,第007期
4. Seal演算的信息流分析系统 [J] . 郑晓娟 ,金英 ,金成植 . 吉林大学学报（信息科学版） . 2006,第002期
5. Seal演算的等式特性 [J] . 郑晓娟 ,金英 ,金成植 . 吉林大学学报（信息科学版） . 2003,第003期
6. 基于Seal演算形式化描述移动Agent安全 [C] . 郑晓娟 ,金英 . 2006年全国理论计算机科学学术年会 . 2006
7. 完全偶图的定向图 [A] . 张雪飞 . 2015

Seal演算的偶图语义

摘要

著录项

相似文献

相关主题

期刊订阅