Some Deadlock Properties of Computer Systems.

Richard C. Holt

Browse the full SOSP paper archive.