The reads-from equivalence for the TSO and PSO memory models

Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman
October 2021
PDF DOI
Type
Conference paper
Publication
OOPSLA – Object-Oriented Programming, Systems, Languages and Applications