PRIETO MIGUEZ, Manuel (2007) Un algoritmo óptimo para la detección y resolución de interbloqueos en sistemas distribuidos. PhD thesis, UPNA.