@article{lmcs:3804, title = {On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory}, author = {Alan Jeffrey and James Riely}, url = {https://lmcs.episciences.org/3804}, doi = {10.23638/LMCS-15(1:33)2019}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 15, Issue 1}, eid = 33, year = {2019}, month = {Mar}, keywords = {Computer Science - Programming Languages, Computer Science - Logic in Computer Science}, }