C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Reasoning about Threads with Bounded Lock Chains.
Vineet Kahlon
Published in:
CONCUR (2011)
Keyphrases
</>
concurrency control
formal theory
multi threaded
spatial reasoning
qualitative reasoning
database
real time
decision trees
management system
concurrent execution