Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable. Developing Correctly Replicated Databases Using Formal Tools. In 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, GA, USA, June 23-26, 2014. pages 395-406, IEEE, 2014. [doi]
Abstract is missing.