Journal

A Brookes-Style Denotational Semantics for Release/Acquire Concurrency

Venue: TOPLAS
Accepted for publication