A deadlock avoidance approach for non-sequential resource allocation systems | Publicación