{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:36:06Z","timestamp":1759073766712},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1109\/coase.2009.5234118","type":"proceedings-article","created":{"date-parts":[[2009,9,11]],"date-time":"2009-09-11T14:10:59Z","timestamp":1252678259000},"page":"37-41","source":"Crossref","is-referenced-by-count":4,"title":["Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract)"],"prefix":"10.1109","author":[{"given":"Yin","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongwei","family":"Liao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Nazeem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Spyros","family":"Reveliotis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Terence","family":"Kelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Mahlke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Introduction to Mathematical Programming Applications and Algorithms","year":"1995","author":"winston","key":"15"},{"journal-title":"Deadlock Resolution in Computer-Integrated Systems","year":"2004","key":"16"},{"key":"13","article-title":"gadara: dynamic deadlock avoidance for multithreaded programs","author":"wang","year":"2008","journal-title":"OSDI'08"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1145\/1480881.1480913","article-title":"the theory of deadlock avoidance via discrete control","author":"wang","year":"2009","journal-title":"POPL'09"},{"journal-title":"Software Failure Avoidance Using Discrete Control Theory","year":"2009","author":"wang","key":"11"},{"journal-title":"Modeling and Analysis of a Special Class of Petri Nets Arising in Multithreaded Programs","year":"2009","author":"wang","key":"12"},{"journal-title":"Operating Systems","year":"1990","author":"deitel","key":"3"},{"journal-title":"Discrete Continuous and Hybrid Petri Nets","year":"2005","author":"david","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"journal-title":"Real-Time Management of Resource Allocation Systems A Discrete Event Systems Approach","year":"2005","author":"reveliotis","key":"10"},{"journal-title":"Supervisory Control of Concurrent Systems A Petri Net Structural Approach","year":"2006","author":"iordache","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.801048"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289519"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.805655"}],"event":{"name":"2009 IEEE International Conference on Automation Science and Engineering (CASE 2009)","start":{"date-parts":[[2009,8,22]]},"location":"Bangalore, India","end":{"date-parts":[[2009,8,25]]}},"container-title":["2009 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5227795\/5234081\/05234118.pdf?arnumber=5234118","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T08:47:12Z","timestamp":1710578832000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5234118\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/coase.2009.5234118","relation":{},"subject":[],"published":{"date-parts":[[2009,8]]}}}