Checking causal consistency of distributed databases

Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi. Checking causal consistency of distributed databases. Computing, 104(10):2181-2201, 2022. [doi]

Abstract

Abstract is missing.