您的位置： 专家智库 > >

国家教育部博士点基金(20061083044)

作品数：1 被引量：2H指数：1
相关作者：金龙飞刘磊更多>>
相关机构：吉林大学更多>>
发文基金：国家教育部博士点基金吉林省科技发展计划基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇语义
  • 1篇偶图
  • 1篇SEAL演算

机构

  • 1篇吉林大学

作者

  • 1篇刘磊
  • 1篇金龙飞

传媒

  • 1篇计算机学报

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
Seal演算的偶图语义被引量：2
2008年
偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一的建模框架.Seal演算是一种用于描述移动计算的进程语言,具有良好的安全性质.文中给出了一种不带复制进程表达式的Seal演算的偶图表示,分析了该Seal演算与其偶图表示间的结构对应和操作对应.本研究扩展了偶图理论的应用范围,展示了偶图理论在描述安全演算方面的能力,为在偶图反应系统框架下研究Seal演算的性质和应用奠定了基础.
金龙飞刘磊
关键词：SEAL演算偶图
全选 清除 导出
共1页<1>
聚类工具0