{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T16:43:46Z","timestamp":1763570626984,"version":"3.45.0"},"reference-count":57,"publisher":"Association for Computing Machinery (ACM)","issue":"1","funder":[{"name":"National Science Foundation","award":["CNS-2233769"],"award-info":[{"award-number":["CNS-2233769"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Model. Comput. Simul."],"published-print":{"date-parts":[[2026,1,31]]},"abstract":"<jats:p>\n                    Discrete-event (DE) systems are concurrent programs where components communicate via tagged events, where tags are drawn from a totally ordered set. Distributed DE (DDE) systems are DE systems where the components (reactors) communicate over networks. Most execution platforms require that for DDE systems with cycles, each cycle must contain at least one logical delay, where the tag of events is incremented. Some impose an even stronger constraint, that no component produces outputs with the same timestamp as a triggering input (the \u201clookahead\u201d for the component must be greater than zero). Such restrictions, however, are not required by the elegant fixed-point semantics of DE. The only fundamental requirement is that the program be constructive, meaning it is free from causality cycles. In this article, we propose a way to coordinate the execution of DDE systems that can execute any constructive program, even one with zero-delay cycles (ZDC), facilitating the elegant programming of strongly consistent distributed real-time systems. The proposed coordination provides a formal model that exposes exactly the information that must be shared across networks for such execution to be possible. Our solution avoids speculative execution and rollback, making it suitable for situations that do not tolerate rollback, such as\n                    <jats:italic toggle=\"yes\">deployment<\/jats:italic>\n                    (vs.\n                    <jats:italic toggle=\"yes\">simulation<\/jats:italic>\n                    ) of cyber-physical systems (CPS\u2019s). We describe an extension to the coordination mechanisms in Lingua Franca, a recent DE-based coordination language, to support ZDC.\n                  <\/jats:p>\n                  <jats:p\/>","DOI":"10.1145\/3767727","type":"journal-article","created":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T11:19:53Z","timestamp":1758021593000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Zero-Delay Cycles in Distributed Discrete-Event Systems using Lingua Franca"],"prefix":"10.1145","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3374-0753","authenticated-orcid":false,"given":"Peter","family":"Donovan","sequence":"first","affiliation":[{"name":"University of California Berkeley","place":["Berkeley, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2396-6284","authenticated-orcid":false,"given":"Erling","family":"Jellum","sequence":"additional","affiliation":[{"name":"University of California Berkeley","place":["Berkeley, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-3215-8666","authenticated-orcid":false,"given":"Byeonggil","family":"Jun","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University","place":["Tempe, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1450-5248","authenticated-orcid":false,"given":"Hokeun","family":"Kim","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University","place":["Tempe, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5663-0584","authenticated-orcid":false,"given":"Lee","family":"Edward","sequence":"additional","affiliation":[{"name":"University of California Berkeley","place":["Berkeley, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6885-5572","authenticated-orcid":false,"given":"Shaokai","family":"Lin","sequence":"additional","affiliation":[{"name":"University of California Berkeley","place":["Berkeley, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8833-4117","authenticated-orcid":false,"given":"Marten","family":"Lohstroh","sequence":"additional","affiliation":[{"name":"University of California Berkeley","place":["Berkeley, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-2029-9703","authenticated-orcid":false,"given":"Anirudh","family":"Rengarajan","sequence":"additional","affiliation":[{"name":"University of California Berkeley","place":["Berkeley, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,11,19]]},"reference":[{"key":"e_1_3_2_2_2","first-page":"1","volume-title":"Proceeding of the ACM-IEEE Int. Conf. on Formal Methods and Models for System Design","author":"Bateni Soroush","year":"2023","unstructured":"Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, and Edward A. Lee. 2023. Risk and mitigation of nondeterminism in distributed cyber-physical systems. In Proceeding of the ACM-IEEE Int. Conf. on Formal Methods and Models for System Design. 1\u201311."},{"issue":"9","key":"e_1_3_2_3_2","doi-asserted-by":"crossref","first-page":"1270","DOI":"10.1109\/5.97297","article-title":"The synchronous approach to reactive and real-time systems","volume":"79","author":"Benveniste Albert","year":"1991","unstructured":"Albert Benveniste and G\u00e9rard Berry. 1991. The synchronous approach to reactive and real-time systems. Proceeding of the IEEE 79, 9 (1991), 1270\u20131282.","journal-title":"Proceeding of the IEEE"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.009"},{"key":"e_1_3_2_5_2","volume-title":"The Constructive Semantics of Pure Esterel","author":"Berry G\u00e9rard","year":"1999","unstructured":"G\u00e9rard Berry. 1999. The Constructive Semantics of Pure Esterel. Retrieved from http:\/\/www-sop.inria.fr\/meije\/esterel\/doc\/main-papers.html"},{"key":"e_1_3_2_6_2","volume-title":"Simulation of Packet Communication Architecture Computer Systems","author":"Bryant Randal E.","year":"1977","unstructured":"Randal E. Bryant. 1977. Simulation of Packet Communication Architecture Computer Systems. Technical Report. MIT."},{"key":"e_1_3_2_7_2","volume-title":"Proceeding of the Workshop on Discrete Event Systems (WODES)","author":"Cataldo Adam","year":"2006","unstructured":"Adam Cataldo, Edward A. Lee, Xiaojun Liu, Eleftherios Matsikoudis, and Haiyang Zheng. 2006. A constructive fixed-point theorem and the feedback semantics of timed systems. In Proceeding of the Workshop on Discrete Event Systems (WODES)."},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/358598.358613"},{"key":"e_1_3_2_9_2","volume-title":"Proceeding of the Summer Computer Simulation Conference.","author":"Chen Gilbert","year":"2002","unstructured":"Gilbert Chen and Boleslaw K. Szymanski. 2002. Searching for parallelism in discrete event simulation. In Proceeding of the Summer Computer Simulation Conference."},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/2491245"},{"issue":"10","key":"e_1_3_2_11_2","article-title":"Design of distributed discrete-event simulation systems using deep belief networks","volume":"11","author":"Cortes Edwin","year":"2020","unstructured":"Edwin Cortes, Luis Rabelo, Alfonso T. Sarmiento, and Edgar Gutierrez. 2020. Design of distributed discrete-event simulation systems using deep belief networks. Information 11, 10 (2020). https:\/\/www.mdpi.com\/2078-2489\/11\/10\/467","journal-title":"Information"},{"key":"e_1_3_2_12_2","volume-title":"Proceedings of the Forum on Specification and Design Languages (FDL)","author":"Edwards Stephen A.","year":"2020","unstructured":"Stephen A. Edwards and John Hui. 2020. The sparse synchronous model. In Proceedings of the Forum on Specification and Design Languages (FDL)."},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.4230\/DagRep.8.2.122"},{"key":"e_1_3_2_14_2","first-page":"1","volume-title":"Proceeding of the 2019 IEEE\/ACM 23rd Int. Symp. on Distributed Simulation and Real Time Applications (DS-RT)","author":"Fu Desheng","year":"2019","unstructured":"Desheng Fu, Marcus O\u2019Connor, Matthias Becker, and Helena Szczerbicka. 2019. Approximate distributed discrete event simulation using semi-conservative look-ahead estimation. In Proceeding of the 2019 IEEE\/ACM 23rd Int. Symp. on Distributed Simulation and Real Time Applications (DS-RT). 1\u20138. DOI:10.1109\/DS-RT47707.2019.8958660"},{"key":"e_1_3_2_15_2","volume-title":"Parallel and Distributed Simulation Systems","author":"Fujimoto Richard","year":"2000","unstructured":"Richard Fujimoto. 2000. Parallel and Distributed Simulation Systems. John Wiley and Sons, Hoboken, NJ, USA."},{"key":"e_1_3_2_16_2","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1109\/WSC.2001.977259","volume-title":"Proceeding of the 2001 Winter Simulation Conference. (Cat. No.01CH37304)","author":"Fujimoto R. M.","year":"2001","unstructured":"R. M. Fujimoto. 2001. Parallel and distributed simulation systems. In Proceeding of the 2001 Winter Simulation Conference. (Cat. No.01CH37304). 147\u2013157. DOI:10.1109\/WSC.2001.977259"},{"key":"e_1_3_2_17_2","volume-title":"Proceedings of the Spring Simulation Interoperability Workshop","author":"Fujimoto Richard M.","year":"1997","unstructured":"Richard M. Fujimoto. 1997. Zero lookahead and repeatability in the high level architecture. In Proceedings of the Spring Simulation Interoperability Workshop. IST."},{"key":"e_1_3_2_18_2","first-page":"167","volume-title":"Proceeding of the ACM SIGCOMM","author":"Gao Kaihui","year":"2023","unstructured":"Kaihui Gao, Li Chen, Dan Li, Vincent Liu, Xizheng Wang, Ran Zhang, and Lu Lu. 2023. DONS: Fast and affordable discrete event network simulation with automatic parallelization. In Proceeding of the ACM SIGCOMM. 167\u2013181. DOI:10.1145\/3603269.3604844"},{"key":"e_1_3_2_19_2","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-030-45016-8_8","volume-title":"Proceeding of the Artificial Life and Evolutionary Computation","author":"Giordano Andrea","year":"2020","unstructured":"Andrea Giordano, Donato D\u2019Ambrosio, Alessio De Rango, Alessio Portaro, William Spataro, and Rocco Rongo. 2020. Exploiting distributed discrete-event simulation techniques for parallel execution of cellular automata. In Proceeding of the Artificial Life and Evolutionary Computation. Springer Int. Publishing, Cham, 66\u201377."},{"key":"e_1_3_2_20_2","first-page":"3","volume-title":"Proceedings of the 4th Annual IEEE International Workshop on Workload Characterization. WWC-4 (Cat. No.01EX538)","author":"Guthaus M. R.","year":"2001","unstructured":"M. R. Guthaus, J. S. Ringenberg, D. Ernst, T. M. Austin, T. Mudge, and R. B. Brown. 2001. MiBench: A free, commercially representative embedded benchmark suite. In Proceedings of the 4th Annual IEEE International Workshop on Workload Characterization. WWC-4 (Cat. No.01EX538). 3\u201314. DOI:10.1109\/WWC.2001.990739"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2022.01.237"},{"key":"e_1_3_2_22_2","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1016\/j.simpat.2012.08.003","article-title":"Synchronization methods in parallel and distributed discrete-event simulation","volume":"30","author":"Jafer Shafagh","year":"2013","unstructured":"Shafagh Jafer, Qi Liu, and Gabriel Wainer. 2013. Synchronization methods in parallel and distributed discrete-event simulation. Simulation Modelling Practice and Theory 30 (2013), 54\u201373.","journal-title":"Simulation Modelling Practice and Theory"},{"issue":"3","key":"e_1_3_2_23_2","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/3916.3988","article-title":"Virtual time","volume":"7","author":"Jefferson D.","year":"1985","unstructured":"D. Jefferson. 1985. Virtual time. ACM Transactions on Programming Languages and Systems 7, 3 (1985), 404\u2013425.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3505248"},{"key":"e_1_3_2_25_2","volume-title":"Proceeding of the International Conference on Emerging Technologies and Factory Automation (ETFA)","author":"Johansson Bjarne","year":"2023","unstructured":"Bjarne Johansson, Mats Ragberger, Alessandro V. Papadopoulos, and Thomas Nolte. 2023. Consistency before availability: Network reference point based failure detection for controller redundancy. In Proceeding of the International Conference on Emerging Technologies and Factory Automation (ETFA). DOI:10.1109\/ETFA54631.2023.10275664"},{"key":"e_1_3_2_26_2","volume-title":"Introduction to Simulink with Engineering Applications","author":"Karris Steven T.","year":"2006","unstructured":"Steven T. Karris. 2006. Introduction to Simulink with Engineering Applications. Orchard Publications."},{"key":"e_1_3_2_27_2","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-3-642-24349-3_5","article-title":"The logical execution time paradigm","author":"Kirsch Christoph M.","year":"2012","unstructured":"Christoph M. Kirsch and Ana Sokolova. 2012. The logical execution time paradigm. Advances in Real-Time Systems (2012), 103\u2013120. https:\/\/unisalzburg.elsevierpure.com\/en\/publications\/the-logical-execution-time-paradigm","journal-title":"Advances in Real-Time Systems"},{"key":"e_1_3_2_28_2","volume-title":"Creating Computer Simulation Systems: an Introduction to the High Level Architecture","author":"Kuhl Frederick","year":"1999","unstructured":"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_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/344588.344618"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3609119"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.34133\/icomputing.0013"},{"issue":"12","key":"e_1_3_2_34_2","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1109\/43.736561","article-title":"A framework for comparing models of computation","volume":"17","author":"Lee Edward A.","year":"1998","unstructured":"Edward A. Lee and Alberto Sangiovanni-Vincentelli. 1998. A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Circuits and Systems 17, 12 (1998), 1217\u20131229.","journal-title":"IEEE Transactions on Computer-Aided Design of Circuits and Systems"},{"key":"e_1_3_2_35_2","volume-title":"Structure and Interpretation of Signals and Systems","author":"Lee Edward A.","year":"2003","unstructured":"Edward A. Lee and Pravin Varaiya. 2003. Structure and Interpretation of Signals and Systems. Addison Wesley. Retrieved from http:\/\/www.aw-bc.com\/info\/lee\/"},{"key":"e_1_3_2_36_2","first-page":"114","volume-title":"Proceeding of the International Conference on Embedded Software (EMSOFT)","author":"Lee Edward A.","year":"2007","unstructured":"Edward A. Lee and Haiyang Zheng. 2007. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In Proceeding of the International Conference on Embedded Software (EMSOFT). 114\u2013123."},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.08.044"},{"key":"e_1_3_2_38_2","volume-title":"Proceeding of the Model-Based Design of Cyber Physical Systems (CyPhy)","author":"Lohstroh Marten","year":"2019","unstructured":"Marten Lohstroh, I. Incer 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 Proceeding of the Model-Based Design of Cyber Physical Systems (CyPhy). Retrieved from https:\/\/ptolemy.berkeley.edu\/publications\/papers\/19\/Lohstroh_etAl_Reactor_CyPhy19_PDFA.pdf"},{"key":"e_1_3_2_39_2","volume-title":"Proceeding of the Workshop on Time-Centric Reactive Software (TCRS), in CPS-IoT Week","author":"Lohstroh Marten","year":"2023","unstructured":"Marten Lohstroh, Edward A. Lee, Stephen Edwards, and David Broman. 2023. Logical time for reactive software. In Proceeding of the Workshop on Time-Centric Reactive Software (TCRS), in CPS-IoT Week. ACM. DOI:10.1145\/3576914.3587494"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1145\/3448128"},{"key":"e_1_3_2_41_2","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BFb0032003","volume-title":"Proceeding of the Real-Time: Theory and Practice, REX Workshop","author":"Maler Oded","year":"1992","unstructured":"Oded Maler, Zohar Manna, and Amir Pnueli. 1992. From timed to hybrid systems. In Proceeding of the Real-Time: Theory and Practice, REX Workshop. Springer-Verlag, 447\u2013484."},{"key":"e_1_3_2_42_2","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/3-540-57318-6_22","volume-title":"Proceeding of the Hybrid Systems","author":"Manna Zohar","year":"1993","unstructured":"Zohar Manna and Amir Pnueli. 1993. Verifying hybrid systems. In Proceeding of the Hybrid Systems. 4\u201335."},{"key":"e_1_3_2_43_2","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.tcs.2015.01.036","article-title":"The fixed-point theory of strictly causal functions","volume":"574","author":"Matsikoudis Eleftherios","year":"2015","unstructured":"Eleftherios Matsikoudis and Edward A. Lee. 2015. The fixed-point theory of strictly causal functions. Theoretical Computer Science 574 (2015), 39\u201377.","journal-title":"Theoretical Computer Science"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/3617687"},{"issue":"1","key":"e_1_3_2_45_2","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/6462.6485","article-title":"Distributed discrete event simulation","volume":"18","author":"Misra Jayadev","year":"1986","unstructured":"Jayadev Misra. 1986. Distributed discrete event simulation. ACM Computing Surveys 18, 1 (1986), 39\u201365.","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"e_1_3_2_46_2","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1016\/S0304-3975(99)00165-6","article-title":"Strictly causal functions have a unique fixed point","volume":"238","author":"Naundorf Holger","year":"2000","unstructured":"Holger Naundorf. 2000. Strictly causal functions have a unique fixed point. Theoretical Computer Science 238, 1-2 (2000), 483\u2013488.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"e_1_3_2_47_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3379489","article-title":"Toward a theory of superdense time in simulation models","volume":"30","author":"Nutaro James","year":"2020","unstructured":"James Nutaro. 2020. Toward a theory of superdense time in simulation models. ACM Transactions on Modeling and Computer Simulation 30, 3 (2020), 1\u201313.","journal-title":"ACM Transactions on Modeling and Computer Simulation"},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/3373335"},{"key":"e_1_3_2_49_2","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3-540-19020-1_17","volume-title":"Proceeding of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics","author":"Reed George M.","year":"1988","unstructured":"George M. Reed and Andrew W. Roscoe. 1988. Metric spaces as models for real-time concurrency. In Proceeding of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics. 331\u2013343."},{"issue":"1","key":"e_1_3_2_50_2","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1023\/A:1007963824710","article-title":"SUSAN-a new approach to low level image processing","volume":"23","author":"Smith Stephen M","year":"1997","unstructured":"Stephen M Smith and J Michael Brady. 1997. SUSAN-a new approach to low level image processing. International Journal of Computer Vision 23, 1 (1997), 45\u201378.","journal-title":"International Journal of Computer Vision"},{"key":"e_1_3_2_51_2","doi-asserted-by":"publisher","unstructured":"Damian Vicino Gabriel A. Wainer and Olivier Dalle. 2021. Uncertainty on discrete-event system simulation. 32 1 Article 2 (2021) 27 pages. DOI:10.1145\/3466169","DOI":"10.1145\/3466169"},{"key":"e_1_3_2_52_2","doi-asserted-by":"publisher","DOI":"10.1145\/3490028"},{"key":"e_1_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/3490029"},{"key":"e_1_3_2_54_2","volume-title":"Proceeding of the 4th International Conference on Concurrency Theory","volume":"715","author":"Yates R. K.","year":"1993","unstructured":"R. K. Yates. 1993. Networks of real-time processes. In Proceeding of the 4th International Conference on Concurrency Theory. E. Best (Ed.), Vol. LNCS 715, Springer-Verlag."},{"key":"e_1_3_2_55_2","volume-title":"Theory of Modeling and Simulation (2nd ed.)","author":"Zeigler Bernard P.","year":"2000","unstructured":"Bernard P. Zeigler, Herbert Praehofer, and Tag Gon Kim. 2000. Theory of Modeling and Simulation (2nd ed.). Academic Press."},{"key":"e_1_3_2_56_2","first-page":"472","volume-title":"Proceeding of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","author":"Zhao W.","year":"2004","unstructured":"W. Zhao, P. Kulkarni, D. Whalley, C. Healy, F. Mueller, and G.-R. Uh. 2004. Timing the WCET of embedded applications. In Proceeding of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 472\u2013481. DOI:10.1109\/RTTAS.2004.1317294"},{"key":"e_1_3_2_57_2","first-page":"259","volume-title":"Proceeding of the Real-Time and Embedded Technology and Applications Symposium (RTAS)","author":"Zhao Yang","year":"2007","unstructured":"Yang Zhao, Edward A. Lee, and Jie Liu. 2007. A programming model for time-synchronized distributed real-time systems. In Proceeding of the Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 259\u2013268. DOI:10.1109\/RTAS.2007.5"},{"key":"e_1_3_2_58_2","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347382"}],"container-title":["ACM Transactions on Modeling and Computer Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3767727","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T16:40:13Z","timestamp":1763570413000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3767727"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,19]]},"references-count":57,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,1,31]]}},"alternative-id":["10.1145\/3767727"],"URL":"https:\/\/doi.org\/10.1145\/3767727","relation":{},"ISSN":["1049-3301","1558-1195"],"issn-type":[{"type":"print","value":"1049-3301"},{"type":"electronic","value":"1558-1195"}],"subject":[],"published":{"date-parts":[[2025,11,19]]},"assertion":[{"value":"2024-06-04","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-08-15","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-11-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}