您的位置： 专家智库 > >

窦洪喜

作品数：1 被引量：1H指数：1
供职机构：中国人民银行西宁中心支行更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇信号量
  • 1篇形式化
  • 1篇形式化建模
  • 1篇形式化建模与...
  • 1篇进程代数
  • 1篇CCS

机构

  • 1篇西安电子科技...
  • 1篇陕西职业技术...
  • 1篇中国人民银行...

作者

  • 1篇牟力科
  • 1篇鱼滨
  • 1篇祁方民
  • 1篇窦洪喜

传媒

  • 1篇计算机应用与...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于CCS的信号量形式化建模与验证被引量：1
2011年
利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有一定通用性,并可将其推广到其他通过信号量机制解决进程通信的问题当中。
祁方民鱼滨牟力科窦洪喜
关键词：信号量形式化建模进程代数
全选 清除 导出
共1页<1>
聚类工具0