A Linearizability-based Hierarchy for Concurrent Specifications

Authors: Armando Castañeda, Sergio Rajsbaum, Michel Raynal

Published: 2022-12-20

DOI: 10.1145/3546826

Source: Full article

---

Abstract

Two linearizability-style correctness conditions that can be used to argue safety properties of progressively more concurrent behaviors of objects.