Ban, D., Ngu, N., & Huong, H.
(2003).
Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases.
VNU Journal Of Science: Mathematics - Physics, 19(1).
Retrieved from https://js.vnu.edu.vn/MaP/article/view/3993