Developing Correctly Replicated Databases Using Formal Tools.

Nicolas Schiper Vincent Rahli Robbert van Renesse Mark Bickford Robert L. Constable

Published in: DSN (2014)

Keyphrases

replicated databases
fault tolerance
database replication
group communication
fault tolerant
data replication
end users
management system
multi dimensional
decision support
distributed databases