Transitive joins: a sound and efficient online deadlock-avoidance policy.

Caleb Voss, Tiago Cogumbreiro, Vivek Sarkar

Browse the full PPoPP paper archive.