Strict Linearizability and Abstract Atomicity

Tangliu Wen, Jie Peng, Jinyun Xue, Zhen You, Lan Song. Strict Linearizability and Abstract Atomicity. Int. J. Found. Comput. Sci., 32(1):1-35, 2021. [doi]

Abstract

Abstract is missing.