{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,26]],"date-time":"2023-08-26T12:54:46Z","timestamp":1693054486859},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1993,10,1]],"date-time":"1993-10-01T00:00:00Z","timestamp":749433600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1993,10]]},"DOI":"10.1007\/bf01088833","type":"journal-article","created":{"date-parts":[[2005,2,8]],"date-time":"2005-02-08T10:08:35Z","timestamp":1107857315000},"page":"305-318","source":"Crossref","is-referenced-by-count":5,"title":["Deadlock prevention in concurrent real-time systems"],"prefix":"10.1007","volume":"5","author":[{"given":"Susan","family":"Davidson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor Fay","family":"Wolfe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"882","DOI":"10.1109\/12.55690","volume":"39","author":"F. Belik","year":"1990","unstructured":"Belik, F. 1990. An efficient deadlock avoidance technique.IEEE Transaction on Computers. 39: 882?888.","journal-title":"IEEE Transaction on Computers"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1145\/357360.357365","volume":"1","author":"K.M. Chandy","year":"1983","unstructured":"Chandy, K.M., Misra, J., and Haas, L. 1983. Distributed deadlock detection.ACM Transactions on Computer Systems. 1: 144?1566.","journal-title":"ACM Transactions on Computer Systems"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/32.21721","volume":"15","author":"A. Choudhary","year":"1989","unstructured":"Choudhary, A., Kohler, W.H., Stankovic, J.A., and Towsley, D. 1989. Modified priority based probe for distributed deadlock detection and resolution.IEEE Transactions on Software Engineering. 15: 10?17.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/356586.356588","volume":"3","author":"E. Coffman","year":"1971","unstructured":"Coffman, E., Elphick, M., and Shoshani, A. 1971. System deadlocks.ACM Computing Surveys, 3: 67?78.","journal-title":"ACM Computing Surveys"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/15833.15837","volume":"15","author":"A. Elmagarmid","year":"1986","unstructured":"Elmagarmid, A. 1986. A survey of distributed deadlock detection algorithms.SIGMOD Record. 15: 37?45.","journal-title":"SIGMOD Record"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1147\/sj.72.0074","volume":"2","author":"J.W. Havender","year":"1968","unstructured":"Havender, J.W. 1968. Avoiding deadlock in multitasking systems.IBM Systems Journal. 2: 74?84.","journal-title":"IBM Systems Journal"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/356603.356607","volume":"4","author":"R. Holt","year":"1972","unstructured":"Holt, R. 1972. Some deadlock properties of computer systems.ACM Computing Surveys. 4: 179?196.","journal-title":"ACM Computing Surveys"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1145\/45075.46163","volume":"19","author":"E. Knapp","year":"1987","unstructured":"Knapp, E. 1987. Deadlock detection in distributed databases.ACM Computing Surveys. 19: 304?328.","journal-title":"ACM Computing Surveys"},{"key":"CR9","first-page":"679","volume":"4","author":"J. Misra","year":"1982","unstructured":"Misra, J. and Chandy, K.M. 1982. A distributed graph algorithm: knot detection.ACM Transactions on Programming Languages and Systems. 4: 679?686.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"CR10","unstructured":"Rajkumar, R. 1989.Task Synchronization in Real-Time Systems. Ph.D. thesis, Carnegie Mellon University."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1145\/320251.320260","volume":"3","author":"D.J. Rosenkrantz","year":"1978","unstructured":"Rosenkrantz, D.J., Stearn, R., and Lewis, P. 1978. System level concurrency control for distributed database systems.ACM Transactions on Database Systems. 3: 178?198.","journal-title":"ACM Transactions on Database Systems"},{"key":"CR12","unstructured":"Sha, L., Rajkumar, R., and Lehoczky, J.P. 1987. Priority inheritance protocols: an approach to real-time synchronization. Tech. Rep. CMU-CX-87-181, Carnegie Mellon University."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1109\/12.83617","volume":"40","author":"L. Sha","year":"1991","unstructured":"Sha, L., Rajkumar, R., Son, S., and Chang, C. 1991. A real-time locking protocol.IEEE Transactions on Computers. 40: 793?800.","journal-title":"IEEE Transactions on Computers"},{"key":"CR14","volume-title":"The Logical Design of Operating Systems","author":"A. Shaw","year":"1974","unstructured":"Shaw, A. 1974.The Logical Design of Operating Systems. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Shih, C. and Stankovic, J.A. 1990. Distributed deadlock detection in Ada runtime environments.ACM SIGADA Ti-Ada Conference.","DOI":"10.1145\/255471.255559"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Stankovic, J. 1988. Misconceptions about real-time computing: a serious problem for next-generation systems.IEEE Computer. 21.","DOI":"10.1109\/2.7053"},{"key":"CR17","unstructured":"Wolfe, V., Davidson, S., and Lee, I. 1990. Supporting real-time concurrency.7th Workshop on Real-time Operating Systems and Software."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Wolfe, V., Davidson, S., and Lee, I. 1991. RTC: language support for real-time concurrency.Real-Time Systems Symposium. IEEE Computer Society.","DOI":"10.1109\/REAL.1991.160357"},{"key":"CR19","unstructured":"Wolfe, V. 1991.Supporting Real-Time Concurrency. Ph.D. thesis, Department of Computer and Information Science, University of Pennsylvania. Available as Technical Report MS-CIS-91-55."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088833.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088833\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088833","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T17:31:38Z","timestamp":1586107898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088833"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,10]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1993,10]]}},"alternative-id":["BF01088833"],"URL":"https:\/\/doi.org\/10.1007\/bf01088833","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,10]]}}}