Verifying eventual consistency of optimistic replication systems.

Ahmed Bouajjani Constantin Enea Jad Hamza

Published in: POPL (2014)

Keyphrases

neural network
distributed systems
model checking
database
knowledge base
learning systems
data sets
real world
information retrieval
search engine
intelligent systems
building blocks
replicated data