位置：成果数据库 > 会议 > 会议详情页
A Concurrent Temporal Programming Model with Atomic Blocks
  • 所属机构名称：中国科学技术大学苏州研究院
  • 会议名称：14th International Conference on Formal Engineering Methods (ICFEM 2012)
  • 时间：2012.11.11
  • 成果类型：会议
  • 相关项目：内存一致性模型的通用描述及验证框架
作者： Xiaoxiao Yang|Yu Zhang|Ming Fu|Xinyu Feng|
同会议论文项目
内存一致性模型的通用描述及验证框架
期刊论文 1 会议论文 8
同项目会议论文
An Operational Approach to Happens-Before Memory Model
A Simple Model for Certifying Assembly Programs with First-Class Function Pointers
A rely-guarantee-based simulation for verifying concurrent program transformations
A Structural Approach to Prophecy Variables
Modular Verification of Linearizability with Non-Fixed Linearization Points
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
Modular Verification of Concurrent Thread Management