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]
@article{ChangWLYO05,
title = {A formal approach to lock escalation},
author = {Ji-Woong Chang and Kyu-Young Whang and Young-Koo Lee and Jae-Heon Yang and Yong-Chul Oh},
year = {2005},
doi = {10.1016/j.is.2003.10.009},
url = {http://dx.doi.org/10.1016/j.is.2003.10.009},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/ChangWLYO05},
cites = {0},
citedby = {0},
journal = {Inf. Syst.},
volume = {30},
number = {2},
pages = {151-166},
}