{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:13:55Z","timestamp":1725563635838},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/cdc.2012.6426105","type":"proceedings-article","created":{"date-parts":[[2013,2,8]],"date-time":"2013-02-08T17:05:08Z","timestamp":1360343108000},"page":"7238-7243","source":"Crossref","is-referenced-by-count":1,"title":["The ACTS software and its supervisory control framework"],"prefix":"10.1109","author":[{"given":"Marian V.","family":"Iordache","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panos J.","family":"Antsaklis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/CDC.2010.5718167"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1177\/0142331208097839"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/ACC.2010.5530904"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1007\/s10626-006-0021-9"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1145\/1640089.1640095"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1145\/1693453.1693457"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/ICSMC.2000.884469"},{"key":"2","first-page":"155","article-title":"Supervisory plug-ins for distributed software","author":"lemmon","year":"2000","journal-title":"Workshop Proceedings for Software Engineering and Petri Nets"},{"year":"0","journal-title":"A Concurrency Tool Suite","key":"1"},{"key":"10","article-title":"Multi-core implementations of the concurrent collections programming model","author":"budimlic","year":"2009","journal-title":"Workshop on Compilers for Parallel Computing"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/ACC.2009.5159987"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/MC.2009.391"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/1557626.1557637"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/ALLERTON.2009.5394896"},{"key":"9","article-title":"Ease of use with concurrent collections (CNC)","author":"knobe","year":"2009","journal-title":"Proc First USENIX Conf on Hot Topics in Parallelism"},{"key":"8","first-page":"287","article-title":"The application of supervisory control to deadlock avoidance in concurrent software","author":"wang","year":"2008","journal-title":"Proc 9th Workshop on des"}],"event":{"name":"2012 IEEE 51st Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2012,12,10]]},"location":"Maui, HI, USA","end":{"date-parts":[[2012,12,13]]}},"container-title":["2012 IEEE 51st IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/6416474\/6425800\/06426105.pdf?arnumber=6426105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T20:53:50Z","timestamp":1490129630000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/6426105\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":16,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/cdc.2012.6426105","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}