Sign in

Runtime verification of concurrency-specific correctness criteria.

Shaz QadeerSerdar Tasiran
Published in: Int. J. Softw. Tools Technol. Transf. (2012)
Keyphrases
  • concurrency control
  • correctness criteria
  • database systems
  • concurrency control protocols
  • database
  • multi dimensional
  • linear logic
  • correctness criterion
  • advanced database systems