Deadlock Checking by Data Race Detection | Publicación