C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Formal Model for the Deferred Update Replication Technique.
Andrea Corradini
Leila Ribeiro
Fernando Luís Dotti
Odorico Machado Mendizabal
Published in:
TGC (2013)
Keyphrases
</>
formal model
fault tolerant
formal models
fault tolerance
consistency constraints
security properties
distributed systems
data partitioning
predicate calculus
probabilistic knowledge
replicated databases
neural network
data replication
update operations
group communication