An efficient distributed deadlock avoidance algorithm for the AND model - Wu, H. (2013)
10.1109/32.979987