Herding cats: Modelling, simulation, testing, and data mining for weak memory
Jade Alglave, Luc Maranget, Michael Tautschnig[doi] [Google Scholar] [DBLP] [Citeseer]
ACM Transactions on Programming Languages and Systems
36(2)
Pages 7:1-7:74
2014
Note(s): Weak memory
Pages 7:1-7:74
2014
Note(s): Weak memory