Verifying eventual consistency of optimistic replication systems
From MaRDI portal
Publication:5408425
DOI10.1145/2535838.2535877zbMath1284.68383OpenAlexW1967852324MaRDI QIDQ5408425
Jad Hamza, Ahmed Bouajjani, Constantin Enea
Publication date: 10 April 2014
Published in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2535838.2535877
Related Items
Monotonic Prefix Consistency in Distributed Systems, From Sequential Specifications to Eventual Consistency, Checking causal consistency of distributed databases, Categorical specification and implementation of replicated data types