Ban, Doan, Nguyen Huu Ngu, & Ho Van Huong. " Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases." VNU Journal of Science: Mathematics - Physics [Online], 19.1 (2003): n. pag. Web. 1 Jun. 2025