Verifying Compensating Transactions.

Michael Emmi, Rupak Majumdar

Browse the full VMCAI paper archive.