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. 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
{"_id":"vuqcDHfRMuwnDQQT2","bibbaseid":"elmagarmid-soundararajan-liu-adistributeddeadlockdetectionandresolutionalgorithmanditscorrectnessproof-1988","downloads":0,"creationDate":"2016-02-17T10:30:07.740Z","title":"A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof.","author_short":["Elmagarmid, A. K.","Soundararajan, N.","Liu, M. T."],"year":1988,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/\"ahmed shamsul arefin\"?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2015-12-10T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Elmagarmid"],"firstnames":["Ahmed","K."],"suffixes":[]},{"propositions":[],"lastnames":["Soundararajan"],"firstnames":["Neelam"],"suffixes":[]},{"propositions":[],"lastnames":["Liu"],"firstnames":["Ming","T."],"suffixes":[]}],"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","bibtex":"@article{journals/tse/ElmagarmidSL88,\n added-at = {2015-12-10T00:00:00.000+0100},\n author = {Elmagarmid, Ahmed K. and Soundararajan, Neelam and Liu, Ming T.},\n biburl = {http://www.bibsonomy.org/bibtex/23ab1cf5501896c95f4371fa2cee12908/dblp},\n ee = {http://doi.ieeecomputersociety.org/10.1109/32.6189},\n interhash = {06b91e30c68e4b0261954169147398e9},\n intrahash = {3ab1cf5501896c95f4371fa2cee12908},\n journal = {IEEE Trans. Software Eng.},\n keywords = {dblp},\n number = 10,\n pages = {1443-1452},\n timestamp = {2015-12-12T11:55:00.000+0100},\n title = {A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof.},\n url = {http://dblp.uni-trier.de/db/journals/tse/tse14.html#ElmagarmidSL88},\n volume = 14,\n year = 1988\n}\n\n","author_short":["Elmagarmid, A. K.","Soundararajan, N.","Liu, M. T."],"key":"journals/tse/ElmagarmidSL88","id":"journals/tse/ElmagarmidSL88","bibbaseid":"elmagarmid-soundararajan-liu-adistributeddeadlockdetectionandresolutionalgorithmanditscorrectnessproof-1988","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/32.6189","Paper":"http://dblp.uni-trier.de/db/journals/tse/tse14.html#ElmagarmidSL88"},"keyword":["dblp"],"downloads":0},"search_terms":["distributed","deadlock","detection","resolution","algorithm","correctness","proof","elmagarmid","soundararajan","liu"],"keywords":["dblp"],"authorIDs":[],"dataSources":["XA98H7MrAfSrDfP6g"]}