Journal of the ACM Bibliography

Tiko Kameda. Testing deadlock-freedom of computer systems. Journal of the ACM, 27(2):270-280, April 1980. [BibTeX entry]

Selected papers that cite this one

Toshimi Minoura. Deadlock avoidance revisited. Journal of the ACM, 29(4):1023-1048, October 1982.