您的位置： 专家智库 > >

罗玲

作品数：1 被引量：1H指数：1
供职机构：西安电子科技大学计算理论与技术研究所更多>>
发文基金：综合业务网理论及关键技术国家重点实验室基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化建模
  • 1篇Π演算
  • 1篇并发
  • 1篇并发系统

机构

  • 1篇西安电子科技...

作者

  • 1篇段振华
  • 1篇罗玲

传媒

  • 1篇西安交通大学...

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
扩展π演算对时间相关移动并发系统的建模与推演被引量：1
2014年
针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法。该方法首先采用区间动作前缀和瞬时动作前缀分别描述系统的时间相关行为和交互行为,并通过操作算子将子进程进行复合,然后利用操作规则构造出系统的时间相关标记迁移系统和可接受的执行路径,最后基于上述迁移系统和执行路径完成对系统性质的推演。对移动车辆控制系统的分析表明,所提方法可对时间相关移动并发系统进行有效建模和推演,保证时间相关移动并发系统的可靠性。
罗玲段振华
关键词：Π演算形式化建模
全选 清除 导出
共1页<1>
聚类工具0