Locking Policies: Safety and Freedom from Deadlock

Mihalis Yannakakis, Christos H. Papadimitriou, H. T. Kung

Browse the full FOCS paper archive.