A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof. Elmagarmid, A. K., Soundararajan, N., & Liu, M. T. IEEE Trans. Software Eng., 14(10):1443-1452, 1988.
A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof. [link]Link  A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof. [link]Paper  bibtex   
@article{journals/tse/ElmagarmidSL88,
  added-at = {2015-12-10T00:00:00.000+0100},
  author = {Elmagarmid, Ahmed K. and Soundararajan, Neelam and Liu, Ming T.},
  biburl = {http://www.bibsonomy.org/bibtex/23ab1cf5501896c95f4371fa2cee12908/dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/32.6189},
  interhash = {06b91e30c68e4b0261954169147398e9},
  intrahash = {3ab1cf5501896c95f4371fa2cee12908},
  journal = {IEEE Trans. Software Eng.},
  keywords = {dblp},
  number = 10,
  pages = {1443-1452},
  timestamp = {2015-12-12T11:55:00.000+0100},
  title = {A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof.},
  url = {http://dblp.uni-trier.de/db/journals/tse/tse14.html#ElmagarmidSL88},
  volume = 14,
  year = 1988
}

Downloads: 0