{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T15:46:04Z","timestamp":1762443964120},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1987,9,1]],"date-time":"1987-09-01T00:00:00Z","timestamp":557452800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Comput"],"published-print":{"date-parts":[[1987,9]]},"DOI":"10.1007\/bf01782773","type":"journal-article","created":{"date-parts":[[2005,6,20]],"date-time":"2005-06-20T20:39:32Z","timestamp":1119299972000},"page":"127-138","source":"Crossref","is-referenced-by-count":71,"title":["Distributed deadlock detection"],"prefix":"10.1007","volume":"2","author":[{"given":"Gabriel","family":"Bracha","sequence":"first","affiliation":[]},{"given":"Sam","family":"Toueg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01782773_CR1","volume-title":"A resource class independent deadlock detection algorithm","author":"C Beeri","year":"1981","unstructured":"Beeri C, Obermarck R (1981) A resource class independent deadlock detection algorithm. Res Rep RJ3077, IBM Res Lab, San Jose, California (March 1981)"},{"issue":"1","key":"BF01782773_CR2","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"KM Chandy","year":"1985","unstructured":"Chandy KM, Lamport L (1985) Distributed snapshots: determining global states of distributed systems. ACM Trans Comput Syst 3(1):63\u201375","journal-title":"ACM Trans Comput Syst"},{"key":"BF01782773_CR3","doi-asserted-by":"crossref","unstructured":"Chandy KM, Misra J (1982) A distributed algorithm for detecting resource deadlocks in distributed systems. Proc 1st ACM Symp Principles Distributed Comput, Ottawa, Canada, (August 1982) pp 157\u2013164","DOI":"10.1145\/800220.806693"},{"issue":"2","key":"BF01782773_CR4","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1145\/357360.357365","volume":"1","author":"KM Chandy","year":"1983","unstructured":"Chandy KM, Haas LM, Misra J (1983) Distributed deadlock detection. ACM Trans Comput Syst 1(2):144\u2013156","journal-title":"ACM Trans Comput Syst"},{"issue":"4","key":"BF01782773_CR5","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1109\/TSE.1982.235573","volume":"8","author":"E Chang","year":"1980","unstructured":"Chang E (1980) Echo algorithms: depth parallel operations on general graphs. IEEE Trans Software Eng SE-8(4):391\u2013401","journal-title":"IEEE Trans Software Eng SE"},{"key":"BF01782773_CR6","doi-asserted-by":"crossref","unstructured":"Gifford DK (1979) Weighted voting for replicated data. Proc Seventh Symp Operating Syst Principles (December 1979), pp 150\u2013162","DOI":"10.1145\/800215.806583"},{"issue":"5","key":"BF01782773_CR7","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1109\/TSE.1980.230491","volume":"6","author":"VG Gligor","year":"1980","unstructured":"Gligor VG, Shattuck SH (1980) On deadlock detection in distributed systems. IEEE Trans Software Eng 6(5):435\u2013440","journal-title":"IEEE Trans Software Eng"},{"key":"BF01782773_CR8","volume-title":"A distributed deadlock detection algorithm for a resource-based system","author":"LM Haas","year":"1983","unstructured":"Haas LM, Mohan C (1983) A distributed deadlock detection algorithm for a resource-based system. Res Rep RJ3765, IBM Res Lab San Jose, California (January 1983)"},{"key":"BF01782773_CR9","volume-title":"A distributed procedure to detect AND\/OR deadlock","author":"T Herman","year":"1983","unstructured":"Herman T, Chandy KM (1983) A distributed procedure to detect AND\/OR deadlock. Tech Rep LCS-8301, Dep Comput Sci, University of Texas, Austin, Texas (February 1983)"},{"issue":"6","key":"BF01782773_CR10","first-page":"554","volume":"8","author":"GS Ho","year":"1982","unstructured":"Ho GS, Ramamoorthy CV (1982) Protocols for deadlock detection in distributed database systems. IEEE Trans Software Eng 8(6):554\u2013557","journal-title":"IEEE Trans Software Eng"},{"issue":"8","key":"BF01782773_CR11","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare CAR (1978) Communicating sequential processes. Commun ACM 21(8):666\u2013677","journal-title":"Commun ACM"},{"issue":"3","key":"BF01782773_CR12","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/356603.356607","volume":"4","author":"RC Holt","year":"1972","unstructured":"Holt RC (1972) Some deadlock properties of computer systems. ACM Comput Surv 4(3):179\u2013196","journal-title":"ACM Comput Surv"},{"key":"BF01782773_CR13","series-title":"Tech Rep R-84-1162","volume-title":"Deadlock detection algorithms in distributed database systems","author":"JK Kim","year":"1984","unstructured":"Kim JK (1984) Deadlock detection algorithms in distributed database systems. Tech Rep R-84-1162, Dep Comput Sci, University of Illinois at Urbana-Champaign. Urbana, Illinois (February 1984)"},{"issue":"7","key":"BF01782773_CR14","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport L (1978) Time, clocks and the ordering of events in a distributed system. Commun ACM 21(7):558\u2013565","journal-title":"Commun ACM"},{"issue":"3","key":"BF01782773_CR15","first-page":"195","volume":"5","author":"DA Menasce","year":"1979","unstructured":"Menasce DA, Muntz RR (1979) Locking and deadlock detection in distributed data bases. IEEE Trans Eng 5(3):195\u2013202","journal-title":"IEEE Trans Eng"},{"key":"BF01782773_CR16","series-title":"Res Rep RJ2955","volume-title":"Deadlock detection for all resource classes","author":"R Obermarck","year":"1980","unstructured":"Obermarck R (1980) Deadlock detection for all resource classes. Res Rep RJ2955, IBM Lab, San Jose, California, (October 1980)"},{"issue":"2","key":"BF01782773_CR17","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1145\/319702.319717","volume":"7","author":"R Obermarck","year":"1982","unstructured":"Obermarck R (1982) Distributed deadlock detection algorithm. ACM Trans Database 7(2):187\u2013208","journal-title":"ACM Trans Database"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01782773.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01782773\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01782773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T13:37:46Z","timestamp":1557409066000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01782773"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,9]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1987,9]]}},"alternative-id":["BF01782773"],"URL":"https:\/\/doi.org\/10.1007\/bf01782773","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,9]]}}}