A Load-Buffer Semantics for Total Store Ordering. - Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Bouajjani, Ahmed; Ngo, Tuan Phong (Log. Methods Comput. Sci., 2018)