HƯƠNG, H. V. A normal specification of the abort-oriented concurency control for real-time database in duration calculus. Journal of Computer Science and Cybernetics, [S. l.], v. 19, n. 1, p. 78–90, 2012. DOI: 10.15625/1813-9663/19/1/1523. Disponível em: https://vjs.ac.vn/index.php/jcc/article/view/1523. Acesso em: 2 may. 2024.