76 citations · 129 across the 23 of their papers we have counts for
1 paper · 2 filters
Simon Doherty, Brijesh Dongol, Heike Wehrheim +1
This paper develops an operational semantics for a release-acquire fragment of the C11 memory model with relaxed accesses. We show that the semantics is both sound and complete wit…