您的位置： 专家智库 > >

杨启哲

作品数：1 被引量：3H指数：1
供职机构：上海交通大学电子信息与电气工程学院软件学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇异步
  • 1篇异步通信
  • 1篇异步通信程序
  • 1篇通信
  • 1篇通信程序
  • 1篇基于通信
  • 1篇PETRI网

机构

  • 1篇上海交通大学

作者

  • 1篇李国强
  • 1篇杨启哲

传媒

  • 1篇软件学报

年份

  • 1篇2017
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于通信Petri网的异步通信程序验证模型被引量：3
2017年
由于多栈的模型图灵等价,因此,通用的异步通信程序模型的验证问题不可判定.为此,基于Petri网,提出了一个新的模型通信——通信Petri网,对异步通信程序进行刻画.通过对输入通信进行k-型限制以及对每个栈进行基于正则语言泵引理的抽象,通过将这样限制下的模型编码到数据Petri网,证明了限制下的新模型可覆盖性可判定.
杨启哲李国强
关键词：异步通信程序
全选 清除 导出
共1页<1>
聚类工具0