Deadlock-Free Channels and Locks.

K. Rustan M. Leino Peter Müller Jan Smans

Published in: ESOP (2010)

Keyphrases

deadlock free
concurrency control
distributed databases
fine grained
transaction processing
database systems
database management systems
distributed database systems
routing algorithm
b tree
data structure
response time
data management
decision support
computer simulation