Proving Consistency of Database Transactions.

Georges Gardarin, Michel A. Melkanoff

Browse the full VLDB paper archive.