Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi. Checking Causal Consistency of Distributed Databases. In Mohamed Faouzi Atig, Alexander A. Schwarzmann, editors, Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers. Volume 11704 of Lecture Notes in Computer Science, pages 35-51, Springer, 2019. [doi]