5 citations · 5 across the 3 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…