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


-

Full Text: PDF

Refbacks

  • There are currently no refbacks.


Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology