A formal analysis of the deferred update technique

• Authors:

• Rodrigo Schmidt;Fernando Pedone

• Affiliations:

• École Polytechnique Fédérale de Lausanne, Switzerland and University of Lugano, Switzerland;University of Lugano, Switzerland

• Venue:
• DISC'07 Proceedings of the 21st international conference on Distributed Computing
• Year:
• 2007