A Brookes-Style Denotational Semantics for Release/Acquire Concurrency. - Dvir, Yotam; Kammar, Ohad; Lahav, Ori (ACM Transactions on Programming Languages & Systems, 2025)