Sign in

Developing Correctly Replicated Databases Using Formal Tools.

Nicolas SchiperVincent RahliRobbert van RenesseMark BickfordRobert 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