位置：成果数据库 > 会议 > 会议详情页
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
  • 所属机构名称：中国科学技术大学苏州研究院
  • 会议名称：24th International Conference on Concurrency Theory (CONCUR 2013)
  • 时间：2013.8.8
  • 成果类型：会议
  • 相关项目：内存一致性模型的通用描述及验证框架
作者： Hongjin Liang|Jan Hoffmann|Xinyu Feng|Zhong Shao|
同会议论文项目
内存一致性模型的通用描述及验证框架
期刊论文 1 会议论文 8
同项目会议论文
A Concurrent Temporal Programming Model with Atomic Blocks
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
Modular Verification of Concurrent Thread Management