{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:24Z","timestamp":1725663264183},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540505174"},{"type":"electronic","value":"9783540460305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50517-2_76","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:25:52Z","timestamp":1330201552000},"page":"123-142","source":"Crossref","is-referenced-by-count":0,"title":["Predicting deadlock in store-and-forward networks"],"prefix":"10.1007","author":[{"given":"Claudio","family":"Arbib","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe F.","family":"Italiano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Panconesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"10_CR1","volume-title":"The design and analysis of computer algorithms","author":"A.V. Aho","year":"1974","unstructured":"A.V. Aho, J.E. Hopcroft, J.D. Ullman, The design and analysis of computer algorithms, Addison-Wesley, Reading, 1974."},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"884","DOI":"10.1109\/TCOM.1984.1096151","volume":"COM-32","author":"J. Blazewicz","year":"1984","unstructured":"J. Blazewicz, D.P. Bovet, G. Gambosi, \"Deadlock-resistant flow control procedures for Store-and-Forward networks\", IEEE Trans. on Comm., COM-32 (1984), 884\u2013887.","journal-title":"IEEE Trans. on Comm."},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1109\/TCOM.1987.1096799","volume":"COM-35","author":"J. Blazewicz","year":"1987","unstructured":"J. Blazewicz, J. Brzezinski, G. Gambosi, \"Time-stamps approach to Store-and-Forward deadlock prevention\", IEEE Trans. on Comm., COM-35 (1987), 490\u2013495.","journal-title":"IEEE Trans. on Comm."},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1002\/net.3230170205","volume":"17","author":"G. Bongiovanni","year":"1987","unstructured":"G. Bongiovanni, D.P. Bovet, \"Minimal deadlock-free Store-and-forward communication networks\", Networks 17 (1987), 187\u2013200.","journal-title":"Networks"},{"key":"10_CR5","unstructured":"D.P. Bovet, G. Gambosi, D.A. Menasce, \"Detection and removal of deadlocks in Store-and-Forward communication networks\", Performance '84."},{"issue":"3","key":"10_CR6","first-page":"178","volume":"4","author":"R.C. Holt","year":"1972","unstructured":"R.C. Holt, \"Some deadlock properties of computer systems\", ACM Comp. Surv., 4, no. 3, (1972), pp. 178\u2013196.","journal-title":"ACM Comp. Surv."},{"key":"10_CR7","volume-title":"Queuing Systems, vol. II: computer applications","author":"L. Kleinrock","year":"1976","unstructured":"L. Kleinrock, Queuing Systems, vol. II: computer applications, John Wiley, New York, 1976."},{"key":"10_CR8","volume-title":"Combinatorial Optimization: Networks and Matroids","author":"E.L. Lawler","year":"1976","unstructured":"E.L. Lawler, Combinatorial Optimization: Networks and Matroids, Holt, Rinehart and Winston, New York, 1976."},{"issue":"3","key":"10_CR9","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1109\/TCOM.1980.1094666","volume":"COM-28","author":"P.M. Merlin","year":"1980","unstructured":"P.M. Merlin, P.J. Schweitzer, \"Deadlock avoidance in Store-and-Forward networks I: Store-and-Forward deadlock\", IEEE Trans. on Comm., COM-28 n. 3 (1980), 345\u2013354.","journal-title":"IEEE Trans. on Comm."},{"issue":"3","key":"10_CR10","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1109\/TCOM.1980.1094667","volume":"COM-28","author":"P.M. Merlin","year":"1980","unstructured":"P.M. Merlin, P.J. Schweitzer, \"Deadlock avoidance in Store-and-Forward networks II: other deadlock types\", IEEE Trans. on Comm., COM-28 n. 3 (1980), 355\u2013360.","journal-title":"IEEE Trans. on Comm."},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","volume":"2","author":"R.E. Tarjan","year":"1972","unstructured":"R.E. Tarjan, \"Depth-first search and linear graph algorithms\", SIAM J. Comput. 2 (1972), 146\u2013160.","journal-title":"SIAM J. Comput."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"S. Toueg, \"Deadlock-and livelock-free packet switching networks\", Proc. ACM STOC (1980), 94\u2013108.","DOI":"10.1145\/800141.804656"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"702","DOI":"10.1137\/0210053","volume":"10","author":"S. Toueg","year":"1981","unstructured":"S. Toueg, K. Steiglitz, \"Some complexity results in the design of deadlock-free packet switching networks\", SIAM J. Comput. 10 (1981), 702\u2013712.","journal-title":"SIAM J. Comput."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"S. Toueg, J.D. Ullman, \"Deadlock-free packet switching networks\", Proc. ACM STOC (1979), 89\u201398.","DOI":"10.1145\/800135.804402"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50517-2_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:56:18Z","timestamp":1619571378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50517-2_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505174","9783540460305"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-50517-2_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}