Formalizing Recovery in Transaction-Oriented Database Systems.

Charles Wallace, Yuri Gurevich, Nandit Soparkar

Browse the full COMAD paper archive.