Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo. Replacing Store Buffers by Load Buffers in TSO. In Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez, editors, Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. Volume 11181 of Lecture Notes in Computer Science, pages 22-28, Springer, 2018. [doi]
Abstract is missing.