Radha Jagadeesan, Alan Jeffrey, James Riely. Pomsets with preconditions: a simple model of relaxed memory. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]
@article{JagadeesanJR20, title = {Pomsets with preconditions: a simple model of relaxed memory}, author = {Radha Jagadeesan and Alan Jeffrey and James Riely}, year = {2020}, doi = {10.1145/3428262}, url = {https://doi.org/10.1145/3428262}, researchr = {https://researchr.org/publication/JagadeesanJR20}, cites = {0}, citedby = {0}, journal = {Proceedings of the ACM on Programming Languages}, volume = {4}, number = {OOPSLA}, }