A Formal Approach to Recovery by Compensating Transactions.

Henry F. Korth, Eliezer Levy, Abraham Silberschatz

Browse the full VLDB paper archive.