{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,14]],"date-time":"2026-08-14T15:47:07Z","timestamp":1786722427995,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"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":[[2023,5,9]]},"DOI":"10.1145\/3576914.3587498","type":"proceedings-article","created":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T22:48:26Z","timestamp":1683586106000},"page":"337-342","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Polyglot Modal Models through Lingua Franca"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1494-8631","authenticated-orcid":false,"given":"Alexander","family":"Schulz-Rosengarten","sequence":"first","affiliation":[{"name":"Department of Computer Science, Kiel University, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5691-1215","authenticated-orcid":false,"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Kiel University, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8833-4117","authenticated-orcid":false,"given":"Marten","family":"Lohstroh","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5663-0584","authenticated-orcid":false,"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5448-3664","authenticated-orcid":false,"given":"Soroush","family":"Bateni","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Computing SyncCharts Reactions. Electronic Notes in Theoretical Computer Science 88 (Oct","author":"Andr\u00e9 Charles","year":"2004","unstructured":"Charles Andr\u00e9. 2004. Computing SyncCharts Reactions. Electronic Notes in Theoretical Computer Science 88 (Oct. 2004), 3\u201319."},{"key":"e_1_3_2_1_2_1","volume-title":"Mixing Signals and Modes in Synchronous Data-flow Systems. In ACM International Conference on Embedded Software (EMSOFT\u201906)","author":"Cola\u00e7o Jean-Louis","year":"2006","unstructured":"Jean-Louis Cola\u00e7o, Gr\u00e9goire Hamon, and Marc Pouzet. 2006. Mixing Signals and Modes in Synchronous Data-flow Systems. In ACM International Conference on Embedded Software (EMSOFT\u201906). ACM, Seoul, South Korea, 73\u201382."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.8285623"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1243\/PIME_PROC_1992_206_341_02"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24721-0_17"},{"key":"e_1_3_2_1_6_1","volume-title":"Statecharts: A visual formalism for complex systems. Science of computer programming 8, 3","author":"Harel David","year":"1987","unstructured":"David Harel. 1987. Statecharts: A visual formalism for complex systems. Science of computer programming 8, 3 (1987), 231\u2013274."},{"key":"e_1_3_2_1_7_1","volume-title":"Modal Models in Ptolemy. In 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), Vol.\u00a047","author":"A.","unstructured":"Edward\u00a0A. Lee and Stavros Tripakis. 2010. Modal Models in Ptolemy. In 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), Vol.\u00a047. Link\u00f6ping University Electronic Press, Link\u00f6ping University, 11\u201321."},{"key":"e_1_3_2_1_8_1","volume-title":"Causality interfaces and compositional causality analysis. Foundations of Interface Technologies (FIT)","author":"Lee A.","year":"2005","unstructured":"Edward\u00a0A. Lee, Haiyang Zheng, and Ye Zhou. 2005. Causality interfaces and compositional causality analysis. Foundations of Interface Technologies (FIT), Satellite to CONCUR, San Francisco, CA 2 (2005), 402\u2013405."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3182\/20020721-6-ES-1901.00553"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/AAI28263682"},{"key":"e_1_3_2_1_11_1","volume-title":"Reactors: A Deterministic Model for Composable Reactive Systems. In 8th International Workshop on Model-Based Design of Cyber Physical Systems (CyPhy\u201919)","author":"Lohstroh Marten","year":"2019","unstructured":"Marten Lohstroh, \u00cd\u00f1igo \u00cdncer\u00a0Romeo, Andr\u00e9s Goens, Patricia Derler, Jeronimo Castrillon, Edward\u00a0A. Lee, and Alberto Sangiovanni-Vincentelli. 2019. Reactors: A Deterministic Model for Composable Reactive Systems. In 8th International Workshop on Model-Based Design of Cyber Physical Systems (CyPhy\u201919), Vol.\u00a0LNCS 11971. Springer-Verlag, 27."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3448128"},{"key":"e_1_3_2_1_13_1","volume-title":"A language for deterministic coordination across multiple timelines. In 2020 Forum for Specification and Design Languages (FDL)","author":"Lohstroh Marten","unstructured":"Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jeronimo Castrillon, and Edward\u00a0A Lee. 2020. A language for deterministic coordination across multiple timelines. In 2020 Forum for Specification and Design Languages (FDL). IEEE, 1\u20138."},{"key":"e_1_3_2_1_14_1","volume-title":"Hybrid Systems","author":"Manna Zohar","unstructured":"Zohar Manna and Amir Pnueli. 1992. Verifying hybrid systems. In Hybrid Systems. Springer, 4\u201335."},{"key":"e_1_3_2_1_15_1","volume-title":"Akka In Action","author":"Roestenburg Raymond","unstructured":"Raymond Roestenburg, Rob Bakker, and Rob Williams. 2016. Akka In Action. Manning Publications Co."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Miro Samek. 2008. Practical UML Statecharts in C\/C++Event-Driven Programming for Embedded Systems. Newnes.","DOI":"10.1201\/b16463"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","unstructured":"Alexander Schulz-Rosengarten Reinhard von Hanxleden Marten Lohstroh Soroush Bateni and Edward\u00a0A. Lee. 2023. Modal Reactors. https:\/\/doi.org\/10.48550\/ARXIV.2301.09597 arXiv:2301.09597","DOI":"10.48550\/ARXIV.2301.09597"},{"key":"e_1_3_2_1_18_1","volume-title":"SCCharts: Sequentially Constructive Statecharts for Safety-critical Applications. In ACM SIGPLAN Conf. on Programming Language Design and Implementation(PLDI \u201914)","author":"von Hanxleden Reinhard","year":"2014","unstructured":"Reinhard von Hanxleden, Bj\u00f6rn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaqu\u00edn Aguado, Stephen Mercer, and Owen O\u2019Brien. 2014. SCCharts: Sequentially Constructive Statecharts for Safety-critical Applications. In ACM SIGPLAN Conf. on Programming Language Design and Implementation(PLDI \u201914). ACM, New York, NY, USA, 372\u2013383."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19756-7_5"},{"key":"e_1_3_2_1_20_1","volume-title":"Modeling Software with Finite State Machines: A Practical Approach","author":"Wagner Ferdinand","unstructured":"Ferdinand Wagner, Ruedi Schmuki, Peter Wolstenholme, and Thomas\u00a0Wagner Thomas. 2006. Modeling Software with Finite State Machines: A Practical Approach. Auerbach Publications."}],"event":{"name":"CPS-IoT Week '23: Cyber-Physical Systems and Internet of Things Week 2023","location":"San Antonio TX USA","acronym":"CPS-IoT Week '23","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of Cyber-Physical Systems and Internet of Things Week 2023"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576914.3587498","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3576914.3587498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:47Z","timestamp":1750178207000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576914.3587498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":20,"alternative-id":["10.1145\/3576914.3587498","10.1145\/3576914"],"URL":"https:\/\/doi.org\/10.1145\/3576914.3587498","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}