{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T23:46:01Z","timestamp":1783035961928,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,1,21]],"date-time":"2009-01-21T00:00:00Z","timestamp":1232496000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,1,21]]},"DOI":"10.1145\/1480881.1480913","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T09:41:38Z","timestamp":1232444498000},"page":"252-263","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":45,"title":["The theory of deadlock avoidance via discrete control"],"prefix":"10.1145","author":[{"given":"Yin","family":"Wang","sequence":"first","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Terence","family":"Kelly","sequence":"additional","affiliation":[{"name":"Hewlett-Packard Labs, Palo Alto, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manjunath","family":"Kudlur","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Scott","family":"Mahlke","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,1,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Apache bug database","year":"2008","unstructured":"Apache. Apache bug database , 2008 . https:\/\/issues.apache.org\/bugzilla\/index.cgi. Apache. Apache bug database, 2008. https:\/\/issues.apache.org\/bugzilla\/index.cgi."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/81.285680"},{"key":"e_1_3_2_1_3_1","volume-title":"Introduction to Dsicrete Event Systems","author":"Cassandras C. G.","year":"2007","unstructured":"C. G. Cassandras and S. Lafortune . Introduction to Dsicrete Event Systems . Springer , second edition, 2007 . C. G. Cassandras and S. Lafortune. Introduction to Dsicrete Event Systems. Springer, second edition, 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375619"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190260"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/975344"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"e_1_3_2_1_9_1","unstructured":"Intel. Intel C++ STM Compiler Prototype Edition January 2008.  Intel. Intel C++ STM Compiler Prototype Edition January 2008."},{"key":"e_1_3_2_1_10_1","volume-title":"Supervisory Control of Concurrent Systems: A Petri Net Structural Approach","author":"Iordache M. V.","year":"2006","unstructured":"M. V. Iordache and P. J. Antsaklis . Supervisory Control of Concurrent Systems: A Petri Net Structural Approach . Birkh\u00e4user , 2006 . M. V. Iordache and P. J. Antsaklis. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkh\u00e4user, 2006."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1361397.1361400"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019917329895"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01719-3","volume-title":"Transactional Memory. Morgan &amp","author":"Larus J.","year":"2007","unstructured":"J. Larus and R. Rajwar . Transactional Memory. Morgan &amp ; Claypool , 2007 . J. Larus and R. Rajwar. Transactional Memory. Morgan & Claypool, 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111068"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_3_2_1_18_1","unstructured":"OpenImpact. OpenIMPACT 2008. http:\/\/www.gelato.uiuc.edu\/.  OpenImpact. OpenIMPACT 2008. http:\/\/www.gelato.uiuc.edu\/."},{"key":"e_1_3_2_1_19_1","volume-title":"OpenLDAP Issue Tracking System","author":"LDAP.","year":"2008","unstructured":"Open LDAP. OpenLDAP Issue Tracking System , 2008 . http:\/\/www.openldap.org\/its\/. OpenLDAP. OpenLDAP Issue Tracking System, 2008. http:\/\/www.openldap.org\/its\/."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_3_2_1_22_1","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"Reisig W.","year":"1985","unstructured":"W. Reisig . Petri nets . In EATCS Monographs on Theoretical Computer Science , volume 4 . Springer-Verlag , Berlin , 1985 . W. Reisig. Petri nets. In EATCS Monographs on Theoretical Computer Science, volume 4. Springer-Verlag, Berlin, 1985."},{"key":"e_1_3_2_1_23_1","volume-title":"A Discrete-Event Systems Approach","author":"Reveliotis S. A.","year":"2005","unstructured":"S. A. Reveliotis . Real-Time Management of Resource Allocation Systems : A Discrete-Event Systems Approach . Springer , New York, NY , 2005 . S. A. Reveliotis. Real-Time Management of Resource Allocation Systems: A Discrete-Event Systems Approach. Springer, New York, NY, 2005."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273028"},{"key":"e_1_3_2_1_26_1","volume-title":"OSDI","author":"Wang Y.","year":"2008","unstructured":"Y. Wang , T. Kelly , M. Kudlur , S. Lafortune , and S. Mahlke . Gadara: Dynamic deadlock avoidance for multithreaded programs . In OSDI , 2008 a. Y. Wang, T. Kelly, M. Kudlur, S. Lafortune, and S. Mahlke. Gadara: Dynamic deadlock avoidance for multithreaded programs. In OSDI, 2008a."},{"key":"e_1_3_2_1_27_1","volume-title":"Workshop on Discrete Event Systems","author":"Wang Y.","year":"2008","unstructured":"Y. Wang , T. Kelly , M. Kudlur , S. Mahlke , and S. Lafortune . The application of supervisory control to deadlock avoidance in concurrent software . In Workshop on Discrete Event Systems , May 2008 b. Y. Wang, T. Kelly, M. Kudlur, S. Mahlke, and S. Lafortune. The application of supervisory control to deadlock avoidance in concurrent software. In Workshop on Discrete Event Systems, May 2008b."},{"key":"e_1_3_2_1_28_1","volume-title":"SPAA","author":"Saha Bratin","year":"2008","unstructured":"AdamWelc, Bratin Saha , and Ali-Reza Adl-Tabatabai . Irrevocable transactions and their applications . In SPAA , June 2008 . AdamWelc, Bratin Saha, and Ali-Reza Adl-Tabatabai. Irrevocable transactions and their applications. In SPAA, June 2008."}],"event":{"name":"POPL09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Savannah GA USA","acronym":"POPL09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480881.1480913","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1480881.1480913","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:59Z","timestamp":1750238999000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480881.1480913"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,21]]},"references-count":27,"alternative-id":["10.1145\/1480881.1480913","10.1145\/1480881"],"URL":"https:\/\/doi.org\/10.1145\/1480881.1480913","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1594834.1480913","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,1,21]]},"assertion":[{"value":"2009-01-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}