Deadlock-Free Channels and Locks.

K. Rustan M. Leino, Peter Mller, Jan Smans

Browse the full ESOP paper archive.