A Linearizability-based Hierarchy for Concurrent Specifications: Two linearizability-style correctness conditions that can be used to argue safety properties of progressively more concurrent behaviors of objects. - CASTAÑEDA, ARMANDO; RAJSBAUM, SERGIO; RAYNAL, MICHEL (Communications of the ACM, 2023)