TY  - RPRT
TI  - Checking Causal Consistency of Distributed Databases
AU  - Rachid Zennou
AU  - Ranadeep Biswas
AU  - Ahmed Bouajjani
AU  - Constantin Enea
AU  - Mohammed Erradi
PY  - 2021
DO  - 10.1007/s00607-021-00911-3
UR  - https://arxiv.org/abs/2011.09753
ID  - 2011.09753
ER  -