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
Author affiliations

Authors

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

DOI:

https://doi.org/10.15625/1813-9663/19/3/1533

Abstract

-

Metrics

Metrics Loading ...

How to Cite

[1]
Đoàn V. Ban and H. V. Hương, “A formal specification of the correctness criteria for concurrent executions of a transaction system in real time databases”., JCC, vol. 19, no. 3, pp. 263–273, Jul. 2012.

Issue

Section

Computer Science

Most read articles by the same author(s)

<< < 1 2 3 > >>