APA (7th ed.) Citation

Dvir, Y., Kammar, O., & Lahav, O. (2025). A Brookes-Style Denotational Semantics for Release/Acquire Concurrency. ACM Transactions on Programming Languages & Systems, 47(2), 1. https://doi.org/10.1145/3715096

Chicago Style (17th ed.) Citation

Dvir, Yotam, Ohad Kammar, and Ori Lahav. "A Brookes-Style Denotational Semantics for Release/Acquire Concurrency." ACM Transactions on Programming Languages & Systems 47, no. 2 (2025): 1. https://doi.org/10.1145/3715096.

MLA (9th ed.) Citation

Dvir, Yotam, et al. "A Brookes-Style Denotational Semantics for Release/Acquire Concurrency." ACM Transactions on Programming Languages & Systems, vol. 47, no. 2, 2025, p. 1, https://doi.org/10.1145/3715096.