Checking Causal Consistency of Distributed Databases

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]

Abstract

Abstract is missing.