Syntactic approach to the deadlock detection problem | Publicación