"Getting Rid of Store-Buffers in TSO Analysis."

Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics