{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T03:22:11Z","timestamp":1648869731954},"reference-count":19,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.102.7","type":"journal-article","created":{"date-parts":[[2012,11,26]],"date-time":"2012-11-26T07:32:02Z","timestamp":1353915122000},"page":"57-72","source":"Crossref","is-referenced-by-count":0,"title":["Distributed Priority Synthesis"],"prefix":"10.4204","volume":"102","author":[{"given":"Chih-Hong","family":"Cheng","sequence":"first","affiliation":[{"name":"Fortiss GmbH"}]},{"given":"Rongjie","family":"Yan","sequence":"additional","affiliation":[{"name":"ISCAS"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[{"name":"Verimag"}]},{"given":"Harald","family":"Ruess","sequence":"additional","affiliation":[{"name":"Fortiss GmbH"}]}],"member":"2720","published-online":{"date-parts":[[2012,11,26]]},"reference":[{"key":"10.1109\/SEFM.2006.27","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"10.1007\/978-3-642-15643-4_6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15643-4_6"},{"key":"10.1145\/2038642.2038654","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038654"},{"key":"10.1007\/978-3-540-85361-9_16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85361-9_16"},{"key":"10.1145\/2038642.2038663","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038663"},{"key":"10.1007\/978-3-642-24372-1_12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_12"},{"key":"10.1007\/978-3-642-20398-5_34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_34"},{"key":"10.1007\/978-3-642-22256-6_11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22256-6_11"},{"key":"10.1109\/LICS.2005.53","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.53"},{"key":"10.1007\/978-3-540-30101-1_15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30101-1_15"},{"key":"10.1007\/978-3-540-69507-3_26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69507-3_26"},{"key":"10.1007\/978-3-642-24372-1_31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_31"},{"key":"10.1007\/978-3-642-22110-1_41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_41"},{"key":"10.1007\/3-540-48224-5_33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48224-5_33"},{"key":"10.1007\/3-540-45694-5_11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45694-5_11"},{"key":"10.1007\/978-3-540-24597-1_29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24597-1_29"},{"key":"10.1109\/FSCS.1990.89597","doi-asserted-by":"publisher","DOI":"10.1109\/FSCS.1990.89597"},{"key":"10.1007\/978-3-540-75596-8_33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_33"},{"key":"10.1145\/253769.253801","doi-asserted-by":"publisher","DOI":"10.1145\/253769.253801"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2012,11,28]],"date-time":"2012-11-28T03:01:24Z","timestamp":1354071684000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1211.6189v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,26]]},"references-count":19,"URL":"https:\/\/doi.org\/10.4204\/eptcs.102.7","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,11,26]]}}}