Orellana C., Ruz C., Eterovic Y. (2006) Self-stabilizing deadlock detection under the OR requirement model Revista : Lecture Notes in Computer Science Volumen : 4128 Páginas : 559-570 Tipo de publicación : ISI Abstract