TY - RPRT TI - Strict Linearizability and Abstract Atomicity AU - Tangliu Wen PY - 2018 UR - https://arxiv.org/abs/1806.08128 ID - 1806.08128 ER -