{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:50:21Z","timestamp":1763459421012,"version":"3.45.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,5]],"date-time":"2017-07-05T00:00:00Z","timestamp":1499212800000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Academy of Finland","award":["265939"],"award-info":[{"award-number":["265939"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1329759,1139138"],"award-info":[{"award-number":["1329759,1139138"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,5]]},"DOI":"10.1145\/2933575.2934503","type":"proceedings-article","created":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T09:34:47Z","timestamp":1476437687000},"page":"768-777","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems"],"prefix":"10.1145","author":[{"given":"Viorel","family":"Preoteasa","sequence":"first","affiliation":[{"name":"Aalto University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[{"name":"Aalto University and University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008739929481"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/648083.747138"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/551462"},{"key":"e_1_3_2_1_4_1","volume-title":"The Constructive Semantics of Pure Esterel","author":"Berry G.","year":"1999","unstructured":"G. Berry. The Constructive Semantics of Pure Esterel, 1999."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/374869"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"e_1_3_2_1_7_1","unstructured":"L. de Alfaro. Game models for open systems. In N. Dershowitz editor Verification: Theory and Practice volume 2772 of Lecture Notes in Computer Science pages 192--213. Springer 2004."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450070"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00096-5"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/113446.113468"},{"key":"e_1_3_2_1_12_1","volume-title":"1st Intl. Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)","author":"Jin X.","year":"2014","unstructured":"X. Jin, J. Deshmukh, J. Kapinski, K. Ueda, and K. Butts. Benchmarks for model transformations and conformance checking. In 1st Intl. Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH), 2014. Benchmark Simulink models available from http:\/\/cps-vo.org\/group\/ARCH\/benchmarks."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562140"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02280834"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of IFIP Congress 74","author":"Kahn G.","year":"1974","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In Information Processing 74, Proceedings of IFIP Congress 74. North-Holland, 1974."},{"key":"e_1_3_2_1_16_1","first-page":"219","article-title":"An introduction to input\/output automata","volume":"2","author":"Lynch N.","year":"1989","unstructured":"N. Lynch and M. Tuttle. An introduction to input\/output automata. CWI Quarterly, 2:219--246, 1989.","journal-title":"CWI Quarterly"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.293952"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1990.128188"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/575336"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1791547"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1137\/0205035"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_23_1","first-page":"2150","article-title":"Formalization of refinement calculus for reactive systems","author":"Preoteasa V.","year":"2014","unstructured":"V. Preoteasa. Formalization of refinement calculus for reactive systems. Archive of Formal Proofs, Oct. 2014. ISSN 2150-914x. http:\/\/afp.sf.net\/entries\/RefinementReactive.shtml.","journal-title":"Archive of Formal Proofs"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656068"},{"key":"e_1_3_2_1_25_1","volume-title":"Submitted on","author":"Preoteasa V.","year":"2015","unstructured":"V. Preoteasa and S. Tripakis. Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. ArXiv e-prints, Submitted on 21 Oct 2015, last revised 27 Apr 2016 (version 3). URL http:\/\/arxiv.org\/abs\/1510.06379."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375602"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54848-2_17"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985342.1985345"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292560"}],"event":{"name":"LICS '16: 31st Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"],"location":"New York NY USA","acronym":"LICS '16"},"container-title":["Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2934503","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933575.2934503","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933575.2934503","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:45:37Z","timestamp":1763459137000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2934503"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,5]]},"references-count":29,"alternative-id":["10.1145\/2933575.2934503","10.1145\/2933575"],"URL":"https:\/\/doi.org\/10.1145\/2933575.2934503","relation":{},"subject":[],"published":{"date-parts":[[2016,7,5]]},"assertion":[{"value":"2016-07-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}