Rodrigo Schmidt, Fernando Pedone. A Formal Analysis of the Deferred Update Technique. In Andrzej Pelc, editor, Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings. Volume 4731 of Lecture Notes in Computer Science, pages 499-500, Springer, 2007. [doi]
Abstract is missing.