González de Mendívil, José Ramón; Alastruey, Carlos F.; Bernabeu, José; Demaile, Akim A deadlock resolution algorithm. (English) Zbl 0908.68011 Informatica, Vilnius 6, No. 1, 35-60 (1995). MSC: 68M20 PDFBibTeX XMLCite \textit{J. R. González de Mendívil} et al., Informatica, Vilnius 6, No. 1, 35--60 (1995; Zbl 0908.68011)
González de Mendívil, Jose R.; Garitagoitia, Jose R. A model for deadlock detection based on automata and languages theory. (English) Zbl 0796.68149 Comput. Math. Appl. 25, No. 6, 47-55 (1993). MSC: 68Q45 68N25 PDFBibTeX XMLCite \textit{J. R. González de Mendívil} and \textit{J. R. Garitagoitia}, Comput. Math. Appl. 25, No. 6, 47--55 (1993; Zbl 0796.68149) Full Text: DOI