A fast method of deadlock avoidancePiotr BakRAIRO. Inform. théor., 18 1 (1984) 71-80DOI: https://doi.org/10.1051/ita/1984180100711