Correctness of a distributed deadlock resolution algorithm for the single request model

José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia. Correctness of a distributed deadlock resolution algorithm for the single request model. In 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP 95), January 25-27, 1995, San Remo, Italy. pages 254-261, IEEE Computer Society, 1995. [doi]

@inproceedings{MendivilDBG95,
  title = {Correctness of a distributed deadlock resolution algorithm for the single request model},
  author = {José Ramón González de Mendívil and Akim Demaille and José M. Bernabéu-Aubán and José Ramón Garitagoitia},
  year = {1995},
  doi = {10.1109/EMPDP.1995.389136},
  url = {http://doi.ieeecomputersociety.org/10.1109/EMPDP.1995.389136},
  researchr = {https://researchr.org/publication/MendivilDBG95},
  cites = {0},
  citedby = {0},
  pages = {254-261},
  booktitle = {3rd Euromicro Workshop on Parallel and Distributed Processing (PDP  95), January 25-27, 1995, San Remo, Italy},
  publisher = {IEEE Computer Society},
}