Mohamed Faouzi Atig Ahmed Bouajjani Sebastian Burckhardt Madanlal Musuvathi What's Decidable about Weak Memory Models? 26-46 2012 ESOP http://dx.doi.org/10.1007/978-3-642-28869-2_2 conf/esop/2012 db/conf/esop/esop2012.html#AtigBBM12