A formal specification of the correctness criteria for concurrent executions of a transaction system in real time databases.

Đoàn Văn Ban, Hồ Văn Hương

Abstract


-



DOI: https://doi.org/10.15625/1813-9663/19/3/1533 Display counter: Abstract : 56 views. PDF : 36 views. PDF (Tiếng Việt) : 7 views.

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology