Reasoning about Threads with Bounded Lock Chains.

Vineet Kahlon

Browse the full CONCUR paper archive.