{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:19:10Z","timestamp":1725668350501},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6160584","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T16:18:31Z","timestamp":1331137111000},"page":"1803-1810","source":"Crossref","is-referenced-by-count":13,"title":["Synthesis of communicating controllers for distributed systems"],"prefix":"10.1109","author":[{"given":"G.","family":"Kalyon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Le Gall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Massart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"McScM a Model Checker for Symbolic Communicating Machines - Version 0 02control","year":"0","key":"19"},{"key":"17","first-page":"281","article-title":"A calculus to define correct tranformations of lotos specifications","author":"massart","year":"1991","journal-title":"FORTE Volume C-2 of IFIP Transactions"},{"key":"18","first-page":"215","article-title":"Virtual time and global states of distributed systems","author":"mattern","year":"1989","journal-title":"Proceedings of the Workshop on Parallel and Distributed Algorithms"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.8.477-491"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902761"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582583"},{"key":"14","first-page":"204","article-title":"Verification of communication protocols using abstract interpretation of fifo queues","author":"le gall","year":"2006","journal-title":"AMAST '06 Volume 4019 of LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875442"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21461-5_13"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/9.880616"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/9.173140"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.834116"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5160029"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015625600613"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15643-4_6"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_34"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/9.880613"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582472"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/322374.322380"},{"key":"4","first-page":"172","article-title":"The power of qdds","author":"boigelot","year":"1997","journal-title":"SAST '97"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0007-7"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0064-7"}],"event":{"name":"2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)","start":{"date-parts":[[2011,12,12]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2011,12,15]]}},"container-title":["IEEE Conference on Decision and Control and European Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6149620\/6159299\/06160584.pdf?arnumber=6160584","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T14:10:54Z","timestamp":1490105454000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6160584\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6160584","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}