{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T14:14:54Z","timestamp":1773843294033,"version":"3.50.1"},"reference-count":73,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2021,5,18]],"date-time":"2021-05-18T00:00:00Z","timestamp":1621296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1836601"],"award-info":[{"award-number":["CNS-1836601"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2021,7,31]]},"abstract":"<jats:p>Many programming languages and programming frameworks focus on parallel and distributed computing. Several frameworks are based on actors, which provide a more disciplined model for concurrency than threads. The interactions between actors, however, if not constrained, admit nondeterminism. As a consequence, actor programs may exhibit unintended behaviors and are less amenable to rigorous testing. We show that nondeterminism can be handled in a number of ways, surveying dataflow dialects, process networks, synchronous-reactive models, and discrete-event models. These existing approaches, however, tend to require centralized control, pose challenges to modular system design, or introduce a single point of failure. We describe \u201creactors,\u201d a new coordination model that combines ideas from several of these approaches to enable determinism while preserving much of the style of actors. Reactors promote modularity and allow for distributed execution. By using a logical model of time that can be associated with physical time, reactors also provide control over timing. Reactors also expose parallelism that can be exploited on multicore machines and in distributed configurations without compromising determinacy.<\/jats:p>","DOI":"10.1145\/3448128","type":"journal-article","created":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T06:08:36Z","timestamp":1621404516000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":94,"title":["Toward a Lingua Franca for Deterministic Concurrent Systems"],"prefix":"10.1145","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8833-4117","authenticated-orcid":false,"given":"Marten","family":"Lohstroh","sequence":"first","affiliation":[{"name":"University of California, Berkeley, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7134-8384","authenticated-orcid":false,"given":"Christian","family":"Menard","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}]},{"given":"Soroush","family":"Bateni","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, USA"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,5,18]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679689700261X"},{"key":"e_1_2_1_2_1","volume-title":"Programming Languages and Systems (ESOP)","author":"Aguado Joaqu\u00edn","unstructured":"Joaqu\u00edn Aguado , Michael Mendler , Marc Pouzet , Partha Roop , and Reinhard von Hanxleden . 2018. Deterministic concurrency: A clock-synchronised shared memory approach . In Programming Languages and Systems (ESOP) , Vol. LNCS 10801 . Springer . DOI:https:\/\/doi.org\/10.1007\/978-3-319-89884-1_4. 10.1007\/978-3-319-89884-1_4 Joaqu\u00edn Aguado, Michael Mendler, Marc Pouzet, Partha Roop, and Reinhard von Hanxleden. 2018. Deterministic concurrency: A clock-synchronised shared memory approach. In Programming Languages and Systems (ESOP), Vol. LNCS 10801. Springer. DOI:https:\/\/doi.org\/10.1007\/978-3-319-89884-1_4."},{"key":"e_1_2_1_3_1","volume-title":"SyncCharts: A Visual Representation of Reactive Behaviors. Report RR 95--52","author":"Andr\u00e9 Charles","unstructured":"Charles Andr\u00e9 . 1996. SyncCharts: A Visual Representation of Reactive Behaviors. Report RR 95--52 . University of Sophia-Antipolis. Charles Andr\u00e9. 1996. SyncCharts: A Visual Representation of Reactive Behaviors. Report RR 95--52. University of Sophia-Antipolis."},{"key":"e_1_2_1_4_1","volume-title":"Concurrent Programming in Erlang","author":"Armstrong Joe","unstructured":"Joe Armstrong , Robert Virding , Claes Wikstr\u00f6m , and Mike Williams . 1996. Concurrent Programming in Erlang ( 2 nd ed.). Prentice Hall . Joe Armstrong, Robert Virding, Claes Wikstr\u00f6m, and Mike Williams. 1996. Concurrent Programming in Erlang (2nd ed.). Prentice Hall.","edition":"2"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/872734.806932"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.53519"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_2_1_9_1","volume-title":"Correct Hardware Design and Verification Methods (CHARME)","author":"Berry Gerard","unstructured":"Gerard Berry and Ellen Sentovich . 2001. Multiclock Esterel . In Correct Hardware Design and Verification Methods (CHARME) , Vol. LNCS 2144 . Springer-Verlag . Gerard Berry and Ellen Sentovich. 2001. Multiclock Esterel. In Correct Hardware Design and Verification Methods (CHARME), Vol. LNCS 2144. Springer-Verlag."},{"key":"e_1_2_1_10_1","unstructured":"Timothy Bourke and A. Sowmya. 2009. Delays in Esterel. In SYNCHRON Vol. Seminar 09481.  Timothy Bourke and A. Sowmya. 2009. Delays in Esterel. In SYNCHRON Vol. Seminar 09481."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210406"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.491649"},{"key":"e_1_2_1_13_1","volume-title":"Hard Real-time Computing Systems: Predictable Scheduling Algorithms and Applications","author":"Buttazzo Giorgio C.","unstructured":"Giorgio C. Buttazzo . 2005. Hard Real-time Computing Systems: Predictable Scheduling Algorithms and Applications ( 2 nd ed.). Springer . Giorgio C. Buttazzo. 2005. Hard Real-time Computing Systems: Predictable Scheduling Algorithms and Applications (2nd ed.). Springer.","edition":"2"},{"key":"e_1_2_1_14_1","unstructured":"C. G. Cassandras. 1993. Discrete Event Systems Modeling and Performance Analysis. Irwin.  C. G. Cassandras. 1993. Discrete Event Systems Modeling and Performance Analysis. Irwin."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678403"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.230182"},{"key":"e_1_2_1_17_1","article-title":"Spanner: Google\u2019s globally-distributed database","volume":"31","author":"\u00a0al James C.","year":"2013","unstructured":"James C. Corbett et \u00a0al . 2013 . Spanner: Google\u2019s globally-distributed database . ACM Trans. Comput. Syst. 31 , 8 (2013). James C. Corbett et\u00a0al. 2013. Spanner: Google\u2019s globally-distributed database. ACM Trans. Comput. Syst. 31, 8 (2013).","journal-title":"ACM Trans. Comput. Syst."},{"key":"e_1_2_1_18_1","volume-title":"Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, and Albert Mingkun Yang.","author":"de Boer Frank S.","year":"2017","unstructured":"Frank S. de Boer , Vlad Serbanescu , Reiner H\u00e4hnle , Ludovic Henrio , Justine Rochas , Crystal Chang Din , Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, and Albert Mingkun Yang. 2017 . A survey of active object languages. Comput. Surv . 50, 5 (2017), 76:1--76:39. Frank S. de Boer, Vlad Serbanescu, Reiner H\u00e4hnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, and Albert Mingkun Yang. 2017. A survey of active object languages. Comput. Surv. 50, 5 (2017), 76:1--76:39."},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Jack B. Dennis. 1974. First Version Data Flow Procedure Language. Report MAC TM61. MIT Laboratory for Computer Science.  Jack B. Dennis. 1974. First Version Data Flow Procedure Language. Report MAC TM61. MIT Laboratory for Computer Science.","DOI":"10.1007\/3-540-06859-7_145"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462184"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/FDL50818.2020.9232938"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00096-5"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869542.1869625"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.019"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90033-9"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3916.3988"},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the IFIP Congress. North-Holland Publishing Co., 471--475","author":"Kahn Gilles","year":"1974","unstructured":"Gilles Kahn . 1974 . The semantics of a simple language for parallel programming . In Proceedings of the IFIP Congress. North-Holland Publishing Co., 471--475 . Gilles Kahn. 1974. The semantics of a simple language for parallel programming. In Proceedings of the IFIP Congress. North-Holland Publishing Co., 471--475."},{"key":"e_1_2_1_30_1","volume-title":"Coroutines and networks of parallel processes","author":"Kahn Gilles","unstructured":"Gilles Kahn and D. B. MacQueen . 1977. Coroutines and networks of parallel processes . In Information Processing, B. Gilchrist (Ed.). North-Holland Publishing Co. , 993--998. Gilles Kahn and D. B. MacQueen. 1977. Coroutines and networks of parallel processes. In Information Processing, B. Gilchrist (Ed.). North-Holland Publishing Co., 993--998."},{"key":"e_1_2_1_31_1","unstructured":"Philip Koopman. 2014. A Case Study of Toyota Unintended Acceleration and Software Safety. Retrieved from http:\/\/betterembsw.blogspot.com\/2014\/09\/a-case-study-of-toyota-unintended.html.  Philip Koopman. 2014. A Case Study of Toyota Unintended Acceleration and Software Safety. Retrieved from http:\/\/betterembsw.blogspot.com\/2014\/09\/a-case-study-of-toyota-unintended.html."},{"key":"e_1_2_1_32_1","volume-title":"Creating Computer Simulation Systems: An Introduction to the High Level Architecture","author":"Kuhl Frederick","unstructured":"Frederick Kuhl , Richard Weatherly , and Judith Dahmann . 1999. Creating Computer Simulation Systems: An Introduction to the High Level Architecture . Prentice Hall PTR. Frederick Kuhl, Richard Weatherly, and Judith Dahmann. 1999. Creating Computer Simulation Systems: An Introduction to the High Level Architecture. Prentice Hall PTR."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.127"},{"key":"e_1_2_1_35_1","unstructured":"Edward A. Lee. 2014. EECS 219D: Semantics of Discrete-Event Systems. Retrieved from https:\/\/bcourses.berkeley.edu\/courses\/1195544\/files\/folder\/Lecture%20Notes?preview=45232443.  Edward A. Lee. 2014. EECS 219D: Semantics of Discrete-Event Systems. Retrieved from https:\/\/bcourses.berkeley.edu\/courses\/1195544\/files\/folder\/Lecture%20Notes?preview=45232443."},{"key":"e_1_2_1_36_1","volume-title":"Plato and the Nerd \u2014 The Creative Partnership of Humans and Technology","author":"Lee Edward Ashford","unstructured":"Edward Ashford Lee . 2017. Plato and the Nerd \u2014 The Creative Partnership of Humans and Technology . The MIT Press . Edward Ashford Lee. 2017. Plato and the Nerd \u2014 The Creative Partnership of Humans and Technology. The MIT Press."},{"key":"e_1_2_1_37_1","volume-title":"Lee and Eleftherios Matsikoudis","author":"Edward","year":"2009","unstructured":"Edward A. Lee and Eleftherios Matsikoudis . 2009 . The semantics of dataflow with firing. In From Semantics to Computer Science : Essays in Memory of Gilles Kahn, G\u00e9rard Huet, Gordon Plotkin, Jean-Jacques L\u00e9vy, and Yves Bertot (Eds.). Cambridge University Press . Edward A. Lee and Eleftherios Matsikoudis. 2009. The semantics of dataflow with firing. In From Semantics to Computer Science: Essays in Memory of Gilles Kahn, G\u00e9rard Huet, Gordon Plotkin, Jean-Jacques L\u00e9vy, and Yves Bertot (Eds.). Cambridge University Press."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2017.00041"},{"key":"e_1_2_1_39_1","volume-title":"Seshia","author":"Lee Edward A.","year":"2017","unstructured":"Edward A. Lee and Sanjit A . Seshia . 2017 . Introduction to Embedded Systems - A Cyber-Physical Systems Approach (2nd ed.). The MIT Press , Cambridge, MA. Retrieved from http:\/\/LeeSeshia.org. Edward A. Lee and Sanjit A. Seshia. 2017. Introduction to Embedded Systems - A Cyber-Physical Systems Approach (2nd ed.). The MIT Press, Cambridge, MA. Retrieved from http:\/\/LeeSeshia.org."},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the International Conference on Embedded Software (EMSOFT\u201907)","author":"Edward","unstructured":"Edward A. Lee and Haiyang Zheng. 2007. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems . In Proceedings of the International Conference on Embedded Software (EMSOFT\u201907) . ACM, 114--123. Edward A. Lee and Haiyang Zheng. 2007. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In Proceedings of the International Conference on Embedded Software (EMSOFT\u201907). ACM, 114--123."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.08.044"},{"key":"e_1_2_1_42_1","volume-title":"CONCUR 2006 - Concurrency Theory","volume":"4137","author":"Liu Xiaojun","unstructured":"Xiaojun Liu , Eleftherios Matsikoudis , and Edward A. Lee . 2006. Modeling timed concurrent systems . In CONCUR 2006 - Concurrency Theory , Vol. LNCS 4137 . Springer, 1--15. Xiaojun Liu, Eleftherios Matsikoudis, and Edward A. Lee. 2006. Modeling timed concurrent systems. In CONCUR 2006 - Concurrency Theory, Vol. LNCS 4137. Springer, 1--15."},{"key":"e_1_2_1_43_1","unstructured":"Marten Lohstroh. 2020. Reactors: A Deterministic Model of Concurrent Computation for Reactive Systems. Ph.D. Dissertation. EECS Department University of California Berkeley. Retrieved from http:\/\/www2.eecs.berkeley.edu\/Pubs\/TechRpts\/2020\/EECS-2020-235.html.  Marten Lohstroh. 2020. Reactors: A Deterministic Model of Concurrent Computation for Reactive Systems. Ph.D. Dissertation. EECS Department University of California Berkeley. Retrieved from http:\/\/www2.eecs.berkeley.edu\/Pubs\/TechRpts\/2020\/EECS-2020-235.html."},{"key":"e_1_2_1_44_1","volume-title":"Proceedings of the 8th International Workshop on Model-based Design of Cyber Physical Systems (CyPhy\u201919)","volume":"11971","author":"Lohstroh Marten","year":"2019","unstructured":"Marten Lohstroh , \u00cd\u00f1igo \u00cdncer Romeo , Andr\u00e9s Goens , Patricia Derler , Jeronimo Castrillon , Edward A. Lee , and Alberto Sangiovanni-Vincentelli . 2019 . Reactors: A deterministic model for composable reactive systems . In Proceedings of the 8th International Workshop on Model-based Design of Cyber Physical Systems (CyPhy\u201919) , Vol. LNCS 11971 . Springer-Verlag. Marten Lohstroh, \u00cd\u00f1igo \u00cdncer Romeo, Andr\u00e9s Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, and Alberto Sangiovanni-Vincentelli. 2019. Reactors: A deterministic model for composable reactive systems. In Proceedings of the 8th International Workshop on Model-based Design of Cyber Physical Systems (CyPhy\u201919), Vol. LNCS 11971. Springer-Verlag."},{"key":"e_1_2_1_45_1","first-page":"1","article-title":"Actors revisited for time-critical systems. In Proceedings of the 56th Design Automation Conference 2019 (DAC\u201919)","volume":"152","author":"Lohstroh Marten","year":"2019","unstructured":"Marten Lohstroh , Martin Schoeberl , Andr\u00e9s Goens , Armin Wasicek , Christopher Gill , Marjan Sirjani , and Edward A. Lee . 2019 . Actors revisited for time-critical systems. In Proceedings of the 56th Design Automation Conference 2019 (DAC\u201919) . ACM , 152 : 1 -- 152 :4. Marten Lohstroh, Martin Schoeberl, Andr\u00e9s Goens, Armin Wasicek, Christopher Gill, Marjan Sirjani, and Edward A. Lee. 2019. Actors revisited for time-critical systems. In Proceedings of the 56th Design Automation Conference 2019 (DAC\u201919). ACM, 152:1--152:4.","journal-title":"ACM"},{"key":"e_1_2_1_46_1","volume-title":"REX Workshop. Springer-Verlag, 447--484","author":"Maler Oded","year":"1992","unstructured":"Oded Maler , Zohar Manna , and Amir Pnueli . 1992 . From timed to hybrid systems. In Real-Time: Theory and Practice , REX Workshop. Springer-Verlag, 447--484 . Oded Maler, Zohar Manna, and Amir Pnueli. 1992. From timed to hybrid systems. In Real-Time: Theory and Practice, REX Workshop. Springer-Verlag, 447--484."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2790449.2790509"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6_22"},{"key":"e_1_2_1_49_1","volume-title":"International Symposium on Fundamentals of Computation Theory (FCT)","volume":"8070","author":"Matsikoudis Eleftherios","unstructured":"Eleftherios Matsikoudis and Edward A. Lee . 2013. An axiomatization of the theory of generalized ultrametric semilattices of linear signals . In International Symposium on Fundamentals of Computation Theory (FCT) , Vol. LNCS 8070 . Springer, 248--258. Eleftherios Matsikoudis and Edward A. Lee. 2013. An axiomatization of the theory of generalized ultrametric semilattices of linear signals. In International Symposium on Fundamentals of Computation Theory (FCT), Vol. LNCS 8070. Springer, 248--258."},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.01.036"},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the Design, Automation and Test in Europe Conference (DATE\u201920)","author":"Menard Christian","year":"2020","unstructured":"Christian Menard , Andr\u00e9s Goens , Marten Lohstroh , and Jeronimo Castrillon . 2020 . Achieving derterminism in adaptive AUTOSAR . In Proceedings of the Design, Automation and Test in Europe Conference (DATE\u201920) . Christian Menard, Andr\u00e9s Goens, Marten Lohstroh, and Jeronimo Castrillon. 2020. Achieving derterminism in adaptive AUTOSAR. In Proceedings of the Design, Automation and Test in Europe Conference (DATE\u201920)."},{"key":"e_1_2_1_52_1","volume-title":"Ray: A distributed framework for emerging AI applications. CoRR abs\/1712.05889","author":"Moritz Philipp","year":"2017","unstructured":"Philipp Moritz , Robert Nishihara , Stephanie Wang , Alexey Tumanov , Richard Liaw , Eric Liang , William Paul , Michael I. Jordan , and Ion Stoica . 2017 . Ray: A distributed framework for emerging AI applications. CoRR abs\/1712.05889 (2017). Philipp Moritz, Robert Nishihara, Stephanie Wang, Alexey Tumanov, Richard Liaw, Eric Liang, William Paul, Michael I. Jordan, and Ion Stoica. 2017. Ray: A distributed framework for emerging AI applications. CoRR abs\/1712.05889 (2017)."},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(99)00070-8"},{"key":"e_1_2_1_54_1","unstructured":"NASA Engineering and Safety Center. 2011. National Highway Traffic Safety Administration Toyota Unintended Acceleration Investigation. Technical Assessment Report. NASA.  NASA Engineering and Safety Center. 2011. National Highway Traffic Safety Administration Toyota Unintended Acceleration Investigation. Technical Assessment Report. NASA."},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02940794"},{"key":"e_1_2_1_56_1","volume-title":"Programming with Actors: State-of-the-Art and Research Perspectives","author":"Aleksandar Prokopec","unstructured":"Prokopec Aleksandar . 2018. Pluggable scheduling for the reactor programming model . In Programming with Actors: State-of-the-Art and Research Perspectives , Alessandro Ricci and Philipp Haller (Eds.). Springer International Publishing , 125--154. Prokopec Aleksandar. 2018. Pluggable scheduling for the reactor programming model. In Programming with Actors: State-of-the-Art and Research Perspectives, Alessandro Ricci and Philipp Haller (Eds.). Springer International Publishing, 125--154."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814228.2814245"},{"key":"e_1_2_1_58_1","volume-title":"Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics. 331--343","author":"Reed George M.","unstructured":"George M. Reed and A. W. Roscoe . 1988. Metric spaces as models for real-time concurrency . In Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics. 331--343 . George M. Reed and A. W. Roscoe. 1988. Metric spaces as models for real-time concurrency. In Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics. 331--343."},{"key":"e_1_2_1_59_1","volume-title":"Akka in Action","author":"Roestenburg Raymond","unstructured":"Raymond Roestenburg , Rob Bakker , and Rob Williams . 2016. Akka in Action . Manning Publications Co. Raymond Roestenburg, Rob Bakker, and Rob Williams. 2016. Akka in Action. Manning Publications Co."},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2013.6645246"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-018-9300-4"},{"key":"e_1_2_1_62_1","volume-title":"Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL","author":"Schulz-Rosengarten Alexander","year":"2018","unstructured":"Alexander Schulz-Rosengarten , Reinhard von Hanxleden , Fr\u00e9d\u00e9ric Mallet , Robert de Simone , and Julien Deantoni . 2020. Time in SCCharts . In Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 , Tom J. Kazmierski, Sebastian Steinhorst , and Daniel Gro\u00dfe (Eds.). Springer , 1--25. DOI:https:\/\/doi.org\/10.1007\/978-3-030-31585-6_1. 10.1007\/978-3-030-31585-6_1 Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Fr\u00e9d\u00e9ric Mallet, Robert de Simone, and Julien Deantoni. 2020. Time in SCCharts. In Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018, Tom J. Kazmierski, Sebastian Steinhorst, and Daniel Gro\u00dfe (Eds.). Springer, 1--25. DOI:https:\/\/doi.org\/10.1007\/978-3-030-31585-6_1."},{"key":"e_1_2_1_63_1","volume-title":"Proceedings of the 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE\u201918)","author":"Sanjit","unstructured":"Sanjit A. Seshia and Pramod Subramanyan. 2018. UCLID5: Integrating modeling, verification, synthesis and learning . In Proceedings of the 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE\u201918) . IEEE, 1--10. Sanjit A. Seshia and Pramod Subramanyan. 2018. UCLID5: Integrating modeling, verification, synthesis and learning. In Proceedings of the 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE\u201918). IEEE, 1--10."},{"key":"e_1_2_1_64_1","volume-title":"PALS: Physically Asynchronous Logically Synchronous Systems. Technical Report","author":"Sha Lui","year":"2009","unstructured":"Lui Sha , Abdullah Al-Nayeem , Mu Sun , Jos\u00e9 Meseguer , and Peter \u00d6lveczky . 2009 . PALS: Physically Asynchronous Logically Synchronous Systems. Technical Report . University of Illinois at Urbana Champaign (UIUC) . Lui Sha, Abdullah Al-Nayeem, Mu Sun, Jos\u00e9 Meseguer, and Peter \u00d6lveczky. 2009. PALS: Physically Asynchronous Logically Synchronous Systems. Technical Report. University of Illinois at Urbana Champaign (UIUC)."},{"key":"e_1_2_1_65_1","volume-title":"Proceedings of the International Conference on Formal Methods and Models for Co-design.","author":"Theelen B. D.","unstructured":"B. D. Theelen , M. C. W. Geilen , T. Basten , J. P. M. Voeten , S.V. Gheorghita , and S. Stuijk . 2006. A scenario-aware data flow model for combined long-run average and worst-case performance analysis . In Proceedings of the International Conference on Formal Methods and Models for Co-design. B. D. Theelen, M. C. W. Geilen, T. Basten, J. P. M. Voeten, S.V. Gheorghita, and S. Stuijk. 2006. A scenario-aware data flow model for combined long-run average and worst-case performance analysis. In Proceedings of the International Conference on Formal Methods and Models for Co-design."},{"key":"e_1_2_1_67_1","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201914)","author":"\u00a0al Reinhard","year":"2014","unstructured":"Reinhard von Hanxleden et \u00a0al . 2014 . SCCharts: Sequentially constructive statecharts for safety-critical applications . In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201914) . ACM, New York, NY, 372--383. Reinhard von Hanxleden et\u00a0al. 2014. SCCharts: Sequentially constructive statecharts for safety-critical applications. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201914). ACM, New York, NY, 372--383."},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2017.8303893"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57208-2_27"},{"key":"e_1_2_1_71_1","volume-title":"Theory of Modeling and Simulation","author":"Zeigler Bernard","unstructured":"Bernard Zeigler . 1976. Theory of Modeling and Simulation . Wiley Interscience , New York . Bernard Zeigler. 1976. Theory of Modeling and Simulation. Wiley Interscience, New York."},{"key":"e_1_2_1_72_1","volume-title":"Theory of Modeling and Simulation","author":"Zeigler Bernard P.","unstructured":"Bernard P. Zeigler , Herbert Praehofer , and Tag Gon Kim . 2000. Theory of Modeling and Simulation ( 2 nd ed.). Academic Press . Bernard P. Zeigler, Herbert Praehofer, and Tag Gon Kim. 2000. Theory of Modeling and Simulation (2nd ed.). Academic Press.","edition":"2"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.5"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347382"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3448128","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3448128","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3448128","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:59Z","timestamp":1750195499000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3448128"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,18]]},"references-count":73,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,7,31]]}},"alternative-id":["10.1145\/3448128"],"URL":"https:\/\/doi.org\/10.1145\/3448128","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,5,18]]},"assertion":[{"value":"2020-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-05-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}