A Formal Analysis of the Deferred Update Technique.

Rodrigo Schmidt, Fernando Pedone

Browse the full OPODIS paper archive.