13 citations · 13 across the 1 of their papers we have counts for
1 paper
Jade Alglave, Luc Maranget, Michael Tautschnig
We propose an axiomatic generic framework for modelling weak memory. We show how to instantiate this framework for SC, TSO, C++ restricted to release-acquire atomics, and Power. Fo…