A deadlock detection/resolution algorithm for the OR model | Publicación