{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T23:31:26Z","timestamp":1744155086195,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":13,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048136599"},{"type":"electronic","value":"9789048136605"}],"license":[{"start":{"date-parts":[[2009,12,15]],"date-time":"2009-12-15T00:00:00Z","timestamp":1260835200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,12,15]],"date-time":"2009-12-15T00:00:00Z","timestamp":1260835200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-90-481-3660-5_66","type":"book-chapter","created":{"date-parts":[[2010,2,12]],"date-time":"2010-02-12T15:11:46Z","timestamp":1265987506000},"page":"385-387","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Dijkstra\u2019s Algorithm for Deadlock Detection"],"prefix":"10.1007","author":[{"given":"Youming","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ardian","family":"Greca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Harris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,12,15]]},"reference":[{"issue":"2","key":"66_CR1","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/356586.356588","volume":"3","author":"E.G. Co\u00aeman","year":"1971","unstructured":"[1] E.G. Co\u00aeman, M.J.Elphick, and A. Shoshani (1971): \u201cSystem Deadlocks\u201d, Computing Surveys, 3.2, 67-78.","journal-title":"Computing Surveys"},{"key":"66_CR2","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1998","unstructured":"[2] T.H. Cormen, C.E. Leiserson, and R.L. Rivest (1998): Introduction to Algorithms, The MIT Press, Cambridge, MA."},{"key":"66_CR3","first-page":"43","volume-title":"\u201cCooperating Sequential Processes\u201d","author":"E.W. Dijkstra","year":"1965","unstructured":"[3] E.W. Dijkstra (1965): \u201cCooperating Sequential Processes\u201d, Technical Report, Technological University, Eindhoven, the Netherlands, 43-112."},{"key":"66_CR4","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1137\/0207027","volume":"7","author":"E.M. Gold","year":"1978","unstructured":"[4] E.M. Gold (1978): \u201cDeadlock Prediction: Easy and Dificult Cases\u201d, SIAM Journal of Computing, Vol. 7, 320-336.","journal-title":"SIAM Journal of Computing"},{"issue":"7","key":"66_CR5","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1145\/363156.363160","volume":"12","author":"A.N. Habermann","year":"1969","unstructured":"[5] A.N. Habermann (1969): \u201cPrevention of System Deadlocks\u201d, Communications of the ACM, 12.7, 373-377, 385.","journal-title":"Communications of the ACM"},{"issue":"1","key":"66_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/362452.362486","volume":"14","author":"R.C. Holt","year":"1971","unstructured":"[6] R.C. Holt (1971): \u201cComments on Prevention of System Deadlocks\u201d, Communications of the ACM, 14.1, 179-196.","journal-title":"Communications of the ACM"},{"issue":"3","key":"66_CR7","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/356603.356607","volume":"4","author":"R.C. Holt","year":"1972","unstructured":"[7] R.C. Holt (1972): \u201cSome Deadlock Properties of Computer Systems\u201d, Computing Surveys, 4.3, 179-196.","journal-title":"Computing Surveys"},{"key":"66_CR8","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0020-0190(80)90055-1","volume":"11","author":"A.J. Jammel","year":"1980","unstructured":"[8] A.J. Jammel, and H.G. Stiegler (1980): \u201cOn Expected Costs of Deadlock Detection\u201d, Information Processing Letters 11, 229-231.","journal-title":"Information Processing Letters"},{"key":"66_CR9","doi-asserted-by":"crossref","unstructured":"Y. Li, and R. Cook (2007): \u201cA New Algorithm and Asymptotical Properties for Deadlock Detection Problem for Computer Systems with Reusable Resource Types\u201d, Advancesand Innovations in Systems, Computing Sciences and Software Engineering, Springer 509-512.","DOI":"10.1007\/978-1-4020-6264-3_88"},{"issue":"2","key":"66_CR10","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/322186.322192","volume":"27","author":"T. Minura","year":"1980","unstructured":"[10] T. Minura (1980): \u201cTesting Deadlock-Freedom of Computer Systems\u201d, Journal of the ACM, 27.2, 270-280.","journal-title":"Journal of the ACM"},{"key":"66_CR11","unstructured":"A. Silberschatz, P.B. Galvin, and G. Gagne (2002): Operating System Concepts, John Wiley & Sons, Inc., NY."},{"key":"66_CR12","volume-title":"Operating Systems, Internals and Design Principles","author":"W. Stallings","year":"1997","unstructured":"[12] W. Stallings (1997): Operating Systems, Internals and Design Principles, Prentice-Hall, NJ."},{"key":"66_CR13","first-page":"251","volume":"4","author":"Y. Suguyama","year":"1977","unstructured":"[13] Y. Suguyama, T. Araki, J. Okui, and T. Kasami (1977): \u201cComplexity of the Deadlock avoidance Problem\u201d, Trans. Inst. of Electron. Comm. Eng. Japan J60-D, 4, 251-258.","journal-title":"Trans. Inst. of Electron. Comm. Eng. Japan J60-D"}],"container-title":["Advanced Techniques in Computing Sciences and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-90-481-3660-5_66","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T11:09:29Z","timestamp":1675249769000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-90-481-3660-5_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,15]]},"ISBN":["9789048136599","9789048136605"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-90-481-3660-5_66","relation":{},"subject":[],"published":{"date-parts":[[2009,12,15]]},"assertion":[{"value":"15 December 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}