{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:38Z","timestamp":1750307678919,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,11,9]],"date-time":"2008-11-09T00:00:00Z","timestamp":1226188800000},"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":[[2008,11,9]]},"DOI":"10.1145\/1453101.1453122","type":"proceedings-article","created":{"date-parts":[[2008,11,11]],"date-time":"2008-11-11T12:59:40Z","timestamp":1226408380000},"page":"146-157","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Generation of concurrency control code using discrete-event systems theory"],"prefix":"10.1145","author":[{"given":"Christopher","family":"Dragert","sequence":"first","affiliation":[{"name":"Queen's University, Kingston, Ontario, Canada"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[{"name":"Queen's University, Kingston, Ontario, Canada"}]},{"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[{"name":"Queen's University, Kingston, Ontario, Canada"}]}],"member":"320","published-online":{"date-parts":[[2008,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"279","volume-title":"IEEE Computer Society Press","author":"De Alfaro L.","year":"2001"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567774"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646449.692481"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00442-5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.84"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11767954_3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312840"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647641.733391"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"C. Cassandras and S Lafortune \"Introduction to Discrete-Event Systems\". Kluwer Boston MA 1999.   C. Cassandras and S Lafortune \"Introduction to Discrete-Event Systems\". Kluwer Boston MA 1999.","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581394"},{"key":"e_1_3_2_1_11_1","unstructured":"E. W. Dijkstra. \"Cooperating Sequential Processes\" in Programming Languages Academic Press. New York. pp. 43--112. 1965.  E. W. Dijkstra. \"Cooperating Sequential Processes\" in Programming Languages Academic Press. New York. pp. 43--112. 1965."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173718"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"E. A. Emerson and E. M. Clarke \"Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons\" in Science of Computer Programming Vol. 3 No. 1 pp. 241--266 1982.  E. A. Emerson and E. M. Clarke \"Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons\" in Science of Computer Programming Vol. 3 No. 1 pp. 241--266 1982.","DOI":"10.1016\/0167-6423(83)90017-5"},{"volume-title":"Addison-Wesley","year":"2006","author":"Peierls B.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0020-x"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/355620.361161"},{"key":"e_1_3_2_1_18_1","unstructured":"IDES\n\n  \n  : The Integrated Discrete-Events Systems Tool Discrete-Event Control Systems Lab Queen's University http:\/\/www.ece.queensu.ca\/hpages\/labs\/discrete\/software.html Mar. 2008.  IDES: The Integrated Discrete-Events Systems Tool Discrete-Event Control Systems Lab Queen's University http:\/\/www.ece.queensu.ca\/hpages\/labs\/discrete\/software.html Mar. 2008."},{"volume-title":"Proc. of the 40th IEEE Conf. on Decision and Control","year":"2001","author":"Jiang S.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","unstructured":"Java Pathfinder Robust Software Engineering Group NASA Ames Research Center Sourceforge project page. http:\/\/javapathfinder.sourceforge.net\/ Mar. 2008.  Java Pathfinder Robust Software Engineering Group NASA Ames Research Center Sourceforge project page. http:\/\/javapathfinder.sourceforge.net\/ Mar. 2008."},{"key":"e_1_3_2_1_21_1","first-page":"220","volume-title":"Proc. of the European Conf. on Object-Oriented Programming","volume":"1241","author":"Kiczales G.","year":"1997"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"e_1_3_2_1_23_1","unstructured":"Z. Manna and A. Pnueli \"Verification of Concurrent Programs: A Temporal Proof System\" Stanford University Dept. of Computer Science CS-TR-83-967 1983.   Z. Manna and A. Pnueli \"Verification of Concurrent Programs: A Temporal Proof System\" Stanford University Dept. of Computer Science CS-TR-83-967 1983."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/357233.357237"},{"key":"e_1_3_2_1_25_1","unstructured":"R. Merritt. \"Wintel Will Fund Parallel Software Lab at Berkeley\". EE Times. http:\/\/www.eetimes.com\/showArticle.jhtml?articleID=20650 3988 Feb 13 2008.  R. Merritt. \"Wintel Will Fund Parallel Software Lab at Berkeley\". EE Times. http:\/\/www.eetimes.com\/showArticle.jhtml?articleID=20650 3988 Feb 13 2008."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/645431.652474"},{"volume-title":"1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 07)","year":"2007","author":"Oliveira C.","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.52290"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_3_2_1_30_1","unstructured":"\u03a3o\u03c6\u00edα: A Java Bytecode Analysis Tool http:\/\/sofya.unl.edu\/ Mar. 2008.  \u03a3o\u03c6\u00edα: A Java Bytecode Analysis Tool http:\/\/sofya.unl.edu\/ Mar. 2008."},{"issue":"3","key":"e_1_3_2_1_31_1","article-title":"The Free Lunch is Over: A Fundamental Turn toward Concurrency in Software","volume":"30","author":"Sutter H.","year":"2005","journal-title":"Dr. Dobb's Journal"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207178608933645"},{"key":"e_1_3_2_1_33_1","unstructured":"TCT Systems and Control Group Dept. of Electrical and Computer Engineering University of Toronto http:\/\/www.control.toronto.edu\/DES Mar. 2008.  TCT Systems and Control Group Dept. of Electrical and Computer Engineering University of Toronto http:\/\/www.control.toronto.edu\/DES Mar. 2008."},{"key":"e_1_3_2_1_34_1","first-page":"13","volume-title":"Signal and Systems","author":"Wonham W. M.","year":"1988"},{"key":"e_1_3_2_1_35_1","first-page":"227","volume-title":"Languages and Techniques for Concurrent Systems","volume":"57","author":"Welch P. H.","year":"1999"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566199"},{"key":"e_1_3_2_1_37_1","first-page":"132","volume-title":"Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen","author":"Ziller R.","year":"2003"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1067915.1067920"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.58555"}],"event":{"name":"SIGSOFT '08\/FSE-16: SIGSOFT 2008 -16th International Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Atlanta Georgia","acronym":"SIGSOFT '08\/FSE-16"},"container-title":["Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1453101.1453122","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1453101.1453122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:44Z","timestamp":1750253384000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1453101.1453122"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,9]]},"references-count":39,"alternative-id":["10.1145\/1453101.1453122","10.1145\/1453101"],"URL":"https:\/\/doi.org\/10.1145\/1453101.1453122","relation":{},"subject":[],"published":{"date-parts":[[2008,11,9]]},"assertion":[{"value":"2008-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}