@article{dvir-2025-a, title={A Brookes-Style Denotational Semantics for Release/Acquire Concurrency}, volume={47}, ISSN={1558-4593}, url={http://dx.doi.org/10.1145/3715096}, DOI={10.1145/3715096}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Dvir, Yotam and Kammar, Ohad and Lahav, Ori}, year={2025}, month=May, pages={1–85} }