@article{weko_60191_1, author = "Ryosuke,Hotaka", title = "On a Method of Detecting a Deadlock", journal = "Information Processing in Japan", year = "1972", volume = "12", number = "0", pages = "31--33", month = "jan" }