Treffer: 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.
Title:
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.
Authors:
Source:
Communications of the ACM. Jan2023, Vol. 66 Issue 1, p86-97. 12p. 1 Color Photograph, 7 Diagrams, 5 Charts, 1 Graph.
Database:
Business Source Ultimate