1
Correct and efficient deadlock detection and resolution in distributed database systems.
Book