"Coping with Deadlock in Distributed Systems."

David B. Lomet (1979)
a service of Schloss Dagstuhl - Leibniz Center for Informatics