APA (7th ed.) Citation

CASTAÑEDA, A., RAJSBAUM, S., & RAYNAL, M. (2023). 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. Communications of the ACM, 66(1), 86. https://doi.org/10.1145/3546826

Chicago Style (17th ed.) Citation

CASTAÑEDA, ARMANDO, SERGIO RAJSBAUM, and MICHEL RAYNAL. "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." Communications of the ACM 66, no. 1 (2023): 86. https://doi.org/10.1145/3546826.

MLA (9th ed.) Citation

CASTAÑEDA, ARMANDO, et al. "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." Communications of the ACM, vol. 66, no. 1, 2023, p. 86, https://doi.org/10.1145/3546826.