A formal approach to lock escalation

Ji-Woong Chang, Kyu-Young Whang, Young-Koo Lee, Jae-Heon Yang, Yong-Chul Oh. A formal approach to lock escalation. Inf. Syst., 30(2):151-166, 2005. [doi]

Abstract

Abstract is missing.