@article{e5e052d72c6e4340a9c8e59ed66e132f,
title = "Pomsets with preconditions: A simple model of relaxed memory",
keywords = "ARMv8, Compiler Optimizations, Concurrency, Multi-Copy Atomicity, Pomsets, Preconditions, Relaxed Memory Models, Temporal Safety Properties, Thin-Air Reads",
author = "Radha Jagadeesan and Alan Jeffrey and James Riely",
note = "Publisher Copyright: {\textcopyright} 2020 Owner/Author.",
year = "2020",
month = nov,
day = "13",
doi = "10.1145/3428262",
language = "English",
volume = "4",
journal = "Proceedings of the ACM on Programming Languages",
issn = "2475-1421",
number = "OOPSLA",
}