Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza
On verifying causal consistency
POPL, 2017.
@inproceedings{POPL-2017-BouajjaniEGH,
author = "Ahmed Bouajjani and Constantin Enea and Rachid Guerraoui and Jad Hamza",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "626--638",
publisher = "{ACM}",
title = "{On verifying causal consistency}",
year = 2017,
}