Developing Correctly Replicated Databases Using Formal Tools.

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

Browse the full DSN paper archive.