Login / Signup

Formalization and Proof of Correctness of the Crash Recovery Algorithm for an Open and Safe Nested Transaction Model.

Sanjay Kumar MadriaS. N. MaheshwariB. ChandraBharat K. Bhargava
Published in: Int. J. Cooperative Inf. Syst. (2001)
Keyphrases