"Deadlock-Free Channels and Locks."

K. Rustan M. Leino, Peter Müller, Jan Smans (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics