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