A distributed deadlock resolution algorithm for the AND model | Publicación