Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza. On verifying causal consistency. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 626-638, ACM, 2017. [doi]
Abstract is missing.