Login / Signup
Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning.
Serdar Tasiran
Ali Sezgin
Shaz Qadeer
Published in:
Design and Validation of Concurrent Systems (2009)
Keyphrases
</>
knowledge base
forward and backward
database systems
reasoning tasks
optimistic concurrency control
model based reasoning
variable selection
concurrency control
input variables
data flow
meta level
random variables
reasoning process
transaction processing
fuzzy logic
analogical reasoning
bayesian networks
database