您的位置： 专家智库 > >

中央高校基本科研业务费专项资金(11LGPY39)

作品数：1 被引量：0H指数：0
相关作者：周晓聪黎永基李师贤更多>>
相关机构：中山大学更多>>
发文基金：中央高校基本科研业务费专项资金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇代数
  • 1篇语义
  • 1篇双代数
  • 1篇类型化
  • 1篇互模拟
  • 1篇共代数
  • 1篇Π演算

机构

  • 1篇中山大学

作者

  • 1篇李师贤
  • 1篇黎永基
  • 1篇周晓聪

传媒

  • 1篇计算机研究与...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
类型化π演算的双代数语义
2012年
证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴到基范畴的忘却函子有右伴函子,则最大共代数互模拟同余.但已有双代数理论建模类型化π演算存在以下困难:行为函子不保持弱回拉,进程互模拟与共代数互模拟不一致.为解决以上两个问题,用稠密拓扑导出布尔范畴作为语义范畴,令行为函子保持弱回拉;定义一类行为函子,使最大进程互模拟与最大共代数互模拟一致,而迟语义和早语义对应的行为函子属于该类函子.进而给出π演算最大进程互模拟同余的双代数模型,为进一步应用双代数框架对其他复杂演算建模奠定了理论基础.
黎永基李师贤周晓聪
关键词：共代数双代数Π演算互模拟
全选 清除 导出
共1页<1>
聚类工具0