A formal approach to lock escalation.

Ji-Woong Chang Kyu-Young Whang Young-Koo Lee Jae-Heon Yang Yong-Chul Oh

Published in: Inf. Syst. (2005)

Keyphrases

concurrency control
formal model
mathematical theory
machine learning
knowledge base
formal specification
data sets
image processing
multimedia
decision trees
case study
mobile robot
software engineering
formal representation