位置：成果数据库 > 会议 > 会议详情页
A Concurrent Temporal Programming Model with Atomic Blocks
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：14th International Conference on Formal Engineering Methods
  • 时间：2012.11.14
  • 成果类型：会议
  • 相关项目：基于非阻塞同步机制的多核并发系统模块化验证方法研究
作者： Xiaoxiao Yang|Yu Zhang|Ming Fu|Xinyu Feng|
同会议论文项目
基于非阻塞同步机制的多核并发系统模块化验证方法研究
期刊论文 3 会议论文 2
同项目会议论文
Combining Separation Logic and Projection Temporal<br /> Logic to Reason about Non-Blocking Co