@inproceedings{99b32222feb04aeba1de53d8858fe5bf,
title = "On Thin Air Reads Towards an Event Structures Model of Relaxed Memory",
keywords = "event structures, memory consistency models, relaxed consistency, Shared-memory concurrency, thin-air reads, weak ordering",
author = "Alan Jeffrey and James Riely",
note = "Publisher Copyright: {\textcopyright} 2016 ACM.; 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016 ; Conference date: 05-07-2016 Through 08-07-2016",
year = "2016",
month = jul,
day = "5",
doi = "10.1145/2933575.2934536",
language = "English",
series = "Proceedings - Symposium on Logic in Computer Science",
publisher = "IEEE (Institute of Electrical and Electronics Engineers)",
pages = "759--767",
booktitle = "Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016",
}