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.

Saved in:

Bibliographic Details
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:	CASTAÑEDA, ARMANDO¹, RAJSBAUM, SERGIO¹, RAYNAL, MICHEL²
Source:	Communications of the ACM; Jan2023, Vol. 66 Issue 1, p86-97, 12p, 1 Color Photograph, 7 Diagrams, 5 Charts, 1 Graph
Database:	Applied Science & Technology Source

Description
ISSN:	00010782
DOI:	10.1145/3546826