A Brookes-Style Denotational Semantics for Release/Acquire Concurrency Venue: TOPLAS Accepted for publication Yotam Dvir, Ohad Kammar, Ori Lahav 27 Sep 2024 abstract journal proceedings slides poster Publication Journal concurrency weak memory denotational semantics