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