Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. Lazy sequentialization for TSO and PSO via shared memory abstractions. In Ruzica Piskac, Muralidhar Talupur, editors, 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016. pages 193-200, IEEE, 2016. [doi]
Abstract is missing.