{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:11:16Z","timestamp":1725469876341},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540377832"},{"type":"electronic","value":"9783540377849"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11823285_58","type":"book-chapter","created":{"date-parts":[[2006,9,5]],"date-time":"2006-09-05T18:04:04Z","timestamp":1157479444000},"page":"559-570","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Self-stabilizing Deadlock Detection Under the OR Requirement Model"],"prefix":"10.1007","author":[{"given":"Christian F.","family":"Orellana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Ruz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. Yadran","family":"Eterovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"58_CR1","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1145\/45075.46163","volume":"19","author":"E. Knapp","year":"1987","unstructured":"Knapp, E.: Deadlock detection in distributed databases. ACM Computing Surveys\u00a019(4), 303\u2013328 (1987)","journal-title":"ACM Computing Surveys"},{"key":"58_CR2","doi-asserted-by":"crossref","unstructured":"Flatebo, M., Datta, A.K.: Self-stabilizing deadlock detection algorithms. In: Proceedings of the 1992 ACM Annual Conference on Communications, Kansas City, Missouri, pp. 117\u2013122 (1992)","DOI":"10.1145\/131214.131229"},{"key":"58_CR3","unstructured":"Karaata, M.H., Line, J.C.: Self-stabilizing algorithms for deadlock detection and identification in distributed systems. In: Proceedings of the ISCA Thirteenth International Conference on Parallel and Distributed Computing, Las Vegas, Nevada, pp. 320\u2013325 (2000)"},{"issue":"2","key":"58_CR4","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1145\/357360.357365","volume":"1","author":"K.M. Chandy","year":"1983","unstructured":"Chandy, K.M., Misra, J., Haas, L.M.: Distributed deadlock detection. ACM Transactions on Computer Systems\u00a01(2), 144\u2013156 (1983)","journal-title":"ACM Transactions on Computer Systems"},{"key":"58_CR5","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/18172.18214","volume-title":"Proceedings of the ACM SIGCOMM Conference on Communications Architecture & Protocols","author":"I. Cidon","year":"1986","unstructured":"Cidon, I., Jaffe, J.M., Sidi, M.: Local distributed deadlock detection by knot detection. In: Proceedings of the ACM SIGCOMM Conference on Communications Architecture & Protocols, pp. 377\u2013384. ACM Press, New York (1986)"},{"key":"58_CR6","unstructured":"Lee, S., Lee, Y.: A distributed algorithm for deadlock detection under OR-request model. In: Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems, pp. 298\u2013299. IEEE Press, Los Alamitos (work in progress, fast abstracts, 1999)"},{"issue":"4","key":"58_CR7","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1109\/TSE.1986.6312900","volume":"SE-12","author":"N. Natarajan","year":"1986","unstructured":"Natarajan, N.: A distributed scheme for detecting communication deadlocks. IEEE Transactions on Software Engineering\u00a0SE-12(4), 531\u2013537 (1986)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"58_CR8","unstructured":"Herman, T., Chandy, K.: A distributed procedure to detect AND\/OR deadlock. Technical Report TR LCS-8301, Department of Computer Science, University of Texas, Austin, Texas (1983)"},{"key":"58_CR9","doi-asserted-by":"crossref","unstructured":"Bracha, G., Toueg, S.: A distributed algorithm for generalized deadlock detection. In: Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, pp. 285\u2013301 (1984)","DOI":"10.1145\/800222.806756"},{"issue":"11","key":"58_CR10","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E. Dijkstra","year":"1974","unstructured":"Dijkstra, E.: Self-stabilizing systems in spite of distributed control. Communications of the ACM\u00a017(11), 643\u2013644 (1974)","journal-title":"Communications of the ACM"},{"issue":"1","key":"58_CR11","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/151254.151256","volume":"25","author":"M. Schneider","year":"1993","unstructured":"Schneider, M.: Self-stabilization. ACM Computing Surveys\u00a025(1), 45\u201367 (1993)","journal-title":"ACM Computing Surveys"},{"issue":"9","key":"58_CR12","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1109\/12.954503","volume":"50","author":"L. Schwiebert","year":"2001","unstructured":"Schwiebert, L.: Deadlock-free oblivious wormhole routing with cyclic dependencies. IEEE Transactions on Computers\u00a050(9), 865\u2013876 (2001)","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"58_CR13","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/356603.356607","volume":"4","author":"R.C. Holt","year":"1972","unstructured":"Holt, R.C.: Some deadlock properties of computer systems. ACM Computing Surveys\u00a04(3), 179\u2013196 (1972)","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2006 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11823285_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:28:10Z","timestamp":1587342490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11823285_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540377832","9783540377849"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11823285_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}