@inbook{dvir-2024-a, title={A Denotational Approach to Release/Acquire Concurrency}, ISBN={9783031572678}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-57267-8_5}, DOI={10.1007/978-3-031-57267-8_5}, booktitle={Programming Languages and Systems}, publisher={Springer Nature Switzerland}, author={Dvir, Yotam and Kammar, Ohad and Lahav, Ori}, year={2024}, pages={121–149} }