Checking causal consistency of distributed databases
From MaRDI portal
Publication:2676222
DOI10.1007/s00607-021-00911-3zbMath1506.68022arXiv2011.09753OpenAlexW3106247424MaRDI QIDQ2676222
Rachid Zennou, Mohammed Erradi, Ahmed Bouajjani, Constantin Enea, Ranadeep Biswas
Publication date: 27 September 2022
Published in: Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2011.09753
Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Uses Software
Cites Work
- Unnamed Item
- Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14--17, 2018. Proceedings. Part I
- Testing and verifying concurrent objects
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
- Time, clocks, and the ordering of events in a distributed system
- Causal memory: definitions, implementation, and programming
- On verifying causal consistency
- Verifying eventual consistency of optimistic replication systems