TY - JOUR AU - V. S. Arolovich AU - V. M. Mikhelev TI - An algorithm for the diagnosis of deadlocks JO - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki PY - 1972 SP - 1543 EP - 1553 VL - 12 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZVMMF_1972_12_6_a13/ LA - ru ID - ZVMMF_1972_12_6_a13 ER -