Reasoning about Threads with Bounded Lock Chains.

Published in: CONCUR (2011)

Keyphrases

concurrency control
formal theory
multi threaded
spatial reasoning
qualitative reasoning
database
real time
decision trees
management system
concurrent execution