Strongly Linearizable Implementations of Fundamental Primitives

Type