您的位置： 专家智库 > >

周立青

作品数：1 被引量：0H指数：0
供职机构：华南师范大学计算机学院更多>>
发文基金：广东省科技计划工业攻关项目国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇有限性
  • 1篇公平

机构

  • 1篇华南师范大学

作者

  • 1篇杨晋吉
  • 1篇周立青

传媒

  • 1篇计算机工程

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
乐观合同签订协议的模型检测分析
2011年
从ECS1协议和PFH协议出发,研究三轮乐观合同签订协议的结构。利用协议动作序列及条件图建立协议模型,分析三轮协议满足有限性的条件。在此基础上,结合模型检测工具SPIN,对满足有限性的协议结构的公平性进行分析、验证,并给出反例,说明三轮协议不可能同时满足有限性和公平性。
周立青杨晋吉
关键词：有限性
全选 清除 导出
共1页<1>
聚类工具0