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