@misc{indiciae350b6c2f6904, title = {The Reads-From Equivalence for the TSO and PSO Memory Models}, author = {Truc Lam Bui and Krishnendu Chatterjee and Tushar Gautam and Andreas Pavlogiannis and Viktor Toman}, year = {2021}, url = {https://arxiv.org/abs/2011.11763}, note = {Source identifier: 2011.11763} }