C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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