Comparing Deadlock-Free Session Typed Processes.

Ornela Dardha Jorge A. Pérez

Published in: EXPRESS/SOS (2015)

Keyphrases

deadlock free
concurrency control
database systems
routing algorithm
database
transaction processing