Proving the Correctness of Disk Paxos.

Mauro Jaskelioff Stephan Merz

Published in: Arch. Formal Proofs (2005)

Keyphrases

commit protocols
main memory
metadata
multidimensional data
random access
storage systems
databases
data model
management system
object oriented
decision support
read write