94 citations · 97 across the 4 of their papers we have counts for
1 paper · 2 filters
Simon Cooksey, Sarah Harris, Mark Batty +2
Relaxed memory models are notoriously delicate. To ease their study, several ad hoc simulators have been developed for axiomatic memory models. We show how axiomatic memory models…