{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T21:10:51Z","timestamp":1780521051344,"version":"3.54.1"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032052902","type":"print"},{"value":"9783032052919","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T00:00:00Z","timestamp":1758758400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T00:00:00Z","timestamp":1758758400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-05291-9_16","type":"book-chapter","created":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T14:07:57Z","timestamp":1758722877000},"page":"371-392","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Logical Time in\u00a0Actor Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5663-0584","authenticated-orcid":false,"given":"Edward A.","family":"Lee","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,9,25]]},"reference":[{"issue":"2","key":"16_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/88.218170","volume":"1","author":"G Agha","year":"1993","unstructured":"Agha, G., Frolund, S., Kim, W., Panwar, R., Patterson, A., Sturman, D.: Abstraction and modularity mechanisms for concurrent computing. IEEE Parallel Distributed Technol. Syst. Appl. 1(2), 3\u201314 (1993)","journal-title":"IEEE Parallel Distributed Technol. Syst. Appl."},{"key":"16_CR2","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: A Model of Concurrent Computation in Distributed Systems","author":"G Agha","year":"1986","unstructured":"Agha, G.: ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press Series in Artificial Intelligence, MIT Press, Cambridge, MA (1986)"},{"issue":"9","key":"16_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/83880.84528","volume":"33","author":"G Agha","year":"1990","unstructured":"Agha, G.: Concurrent object-oriented programming. Commun. ACM 33(9), 125\u2013140 (1990)","journal-title":"Commun. ACM"},{"issue":"1","key":"16_CR4","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/1327452.1327484","volume":"51","author":"G Agha","year":"2008","unstructured":"Agha, G.: Computing in pervasive cyberspace. Commun. ACM 51(1), 68\u201370 (2008). https:\/\/doi.org\/10.1145\/1327452.1327484","journal-title":"Commun. ACM"},{"key":"16_CR5","doi-asserted-by":"publisher","unstructured":"Agha, G.A.: Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems. In: Najm, E., Stefani, J.-B. (eds.) Formal Methods for Open Object-based Distributed Systems. IAICT, pp. 135\u2013153. Springer, Boston, MA (1997). https:\/\/doi.org\/10.1007\/978-0-387-35082-0_10","DOI":"10.1007\/978-0-387-35082-0_10"},{"issue":"1","key":"16_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"GA Agha","year":"1997","unstructured":"Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. J. Funct. Program. 7(1), 1\u201372 (1997)","journal-title":"J. Funct. Program."},{"key":"16_CR7","unstructured":"Alvaro, P., Conway, N., Hellerstein, J.M., Marczak, W.R.: Consistency analysis in bloom: a CALM and collected approach. In: 5th Biennial Conference on Innovative Data Systems Research (CIDR) (2011)"},{"key":"16_CR8","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent programming in Erlang. Prentice Hall, second edn. (1996)"},{"key":"16_CR9","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2024.3467332","author":"B Asch","year":"2024","unstructured":"Asch, B., Jellum, E., Lohstroh, M., Lee, E.A.: Software-defined watchdog timers for cyber-physical systems. Embedded Syst. Lett. (2024). https:\/\/doi.org\/10.1109\/LES.2024.3467332","journal-title":"Embedded Syst. Lett."},{"key":"16_CR10","doi-asserted-by":"publisher","unstructured":"Bateni, S., et al.: Risk and mitigation of nondeterminism in distributed cyber-physical systems. In: ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (2023). https:\/\/doi.org\/10.1145\/3610579.3613219","DOI":"10.1145\/3610579.3613219"},{"key":"16_CR11","volume-title":"Discrete Event Systems","author":"CG Cassandras","year":"1993","unstructured":"Cassandras, C.G.: Discrete Event Systems. Irwin, Modeling and Performance Analysis (1993)"},{"issue":"5","key":"16_CR12","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1109\/TSE.1979.230182","volume":"5","author":"KM Chandy","year":"1979","unstructured":"Chandy, K.M., Misra, J.: Distributed simulation: a case study in design and verification of distributed programs. IEEE Trans. Softw. Eng. 5(5), 440\u2013452 (1979)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"16_CR13","doi-asserted-by":"publisher","unstructured":"Charousset, D., Hiesgen, R., Schmidt, T.C.: CAF - the C++ actor framework for scalable and resource-efficient applications. In: International Workshop on Programming based on Actors Agents and Decentralized Control (AGERE), pp. 15\u201328. ACM (2014). https:\/\/doi.org\/10.1145\/2687357.2687363","DOI":"10.1145\/2687357.2687363"},{"key":"16_CR14","doi-asserted-by":"publisher","unstructured":"Corbett, J.C., et al.: Spanner: Google\u2019s globally-distributed database. In: OSDI (2012). https:\/\/doi.org\/10.1145\/2491245","DOI":"10.1145\/2491245"},{"key":"16_CR15","doi-asserted-by":"publisher","unstructured":"Corbett, J.C., et al.: Spanner: Google\u2019s globally-distributed database. ACM Trans. Comput. Syst. (TOCS) 31(8) (2013). https:\/\/doi.org\/10.1145\/2491245","DOI":"10.1145\/2491245"},{"key":"16_CR16","unstructured":"Donovan, P., et al.: Strongly-consistent distributed discrete-event systems. arXiv 2405.12117v1 [cs.DC] (2024)"},{"key":"16_CR17","doi-asserted-by":"publisher","unstructured":"Dragojevi\u0107, A., et al.: No compromises: distributed transactions with consistency, availability, and performance. In: Symposium on Operating Systems Principles (SOSP), pp. 54\u201370 (2015). https:\/\/doi.org\/10.1145\/2815400.2815425","DOI":"10.1145\/2815400.2815425"},{"issue":"1","key":"16_CR18","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/JPROC.2011.2161237","volume":"100","author":"J Eidson","year":"2012","unstructured":"Eidson, J., Lee, E.A., Matic, S., Seshia, S.A., Zou, J.: Distributed real-time software for cyber-physical systems. Proc. IEEE (special issue on CPS) 100(1), 45\u201359 (2012). https:\/\/doi.org\/10.1109\/JPROC.2011.2161237","journal-title":"Proc. IEEE (special issue on CPS)"},{"key":"16_CR19","unstructured":"Eidson, J.C.: Measurement, Control, and Communication Using IEEE 1588. Springer (2006)"},{"key":"16_CR20","volume-title":"Transaction Processing: Concepts and Techniques","author":"J Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Mateo, CA (1993)"},{"issue":"330","key":"16_CR21","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/3475965.3480470","volume":"19","author":"P Helland","year":"2021","unstructured":"Helland, P.: Don\u2019t get stuck in the \u201ccon\u2019\u2019 game: consistency, convergence and confluence are not the same! Queue 19(330), 16\u201335 (2021). https:\/\/doi.org\/10.1145\/3475965.3480470","journal-title":"Queue"},{"key":"16_CR22","unstructured":"Helland, P., Campbell, D.: Building on quicksand. In: Conference on Innovative Data Systems Research (CIDR). ACM (2009). https:\/\/arxiv.org\/abs\/0909.1788"},{"issue":"3","key":"16_CR23","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"D Jefferson","year":"1985","unstructured":"Jefferson, D.: Virtual time. ACM Trans. Program. Languages Syst. 7(3), 404\u2013425 (1985)","journal-title":"ACM Trans. Program. Languages Syst."},{"key":"16_CR24","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Proc. of the IFIP Congress 74, pp. 471\u2013475. North-Holland Publishing Co. (1974)"},{"key":"16_CR25","first-page":"993","volume-title":"Information Processing","author":"G Kahn","year":"1977","unstructured":"Kahn, G., MacQueen, D.B.: Coroutines and networks of parallel processes. In: Gilchrist, B. (ed.) Information Processing, pp. 993\u2013998. North-Holland Publishing Co., Amsterdam (1977)"},{"issue":"4","key":"16_CR26","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1145\/371578.371598","volume":"32","author":"D Kossmann","year":"2000","unstructured":"Kossmann, D.: The state of the art in distributed query processing. ACM Comput. Surv. (CSUR) 32(4), 422\u2013469 (2000). https:\/\/doi.org\/10.1145\/371578.371598","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"16_CR27","unstructured":"Kuhl, F., Weatherly, R., Dahmann, J.: Creating Computer Simulation Systems: an Introduction to the High Level Architecture. Prentice Hall PTR (1999)"},{"key":"16_CR28","doi-asserted-by":"publisher","unstructured":"Laddad, S., Power, C., Milano, M., Cheung, A., Crooks, N., Hellerstein, J.M.: Keep CALM and CRDT on. arXiv 2210.12605v1 [cs.DB] (2022). https:\/\/doi.org\/10.48550\/arXiv.2210.12605","DOI":"10.48550\/arXiv.2210.12605"},{"key":"16_CR29","doi-asserted-by":"publisher","unstructured":"Lee, E.A., Akella, R., Bateni, S., Lin, S., Lohstroh, M., Menard, C.: Consistency vs. availability in distributed cyber-physical systems. ACM Trans. Embedded Comput. Syst. (TECS) 22(5s), 1\u201324 (2023). https:\/\/doi.org\/10.1145\/3609119, presented at EMSOFT, September 17-22, 2023, Hamburg, Germany","DOI":"10.1145\/3609119"},{"key":"16_CR30","doi-asserted-by":"publisher","unstructured":"Lee, E.A., Bateni, S., Lin, S., Lohstroh, M., Menard, C.: Trading off consistency and availability in tiered heterogeneous distributed systems. Intell. Comput. 2(Article 0013), 1\u201323 (2023). https:\/\/doi.org\/10.34133\/icomputing.0013","DOI":"10.34133\/icomputing.0013"},{"key":"16_CR31","doi-asserted-by":"publisher","unstructured":"Lee, E.A., Lohstroh, M.: Generalizing logical execution time. In: Raskin, J.F., Chatterjee, K. (eds.) Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. vol. LNCS 13660, pp. 1\u201322. Springer Nature (2022). https:\/\/doi.org\/10.1007\/978-3-031-22337-2_8","DOI":"10.1007\/978-3-031-22337-2_8"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Matsikoudis, E.: The Semantics of Dataflow with Firing. Cambridge University Press (2009). http:\/\/ptolemy.eecs.berkeley.edu\/publications\/papers\/08\/DataflowWithFiring\/","DOI":"10.1017\/CBO9780511770524.005"},{"key":"16_CR33","doi-asserted-by":"publisher","unstructured":"Lohstroh, M., Lee, E.A., Edwards, S., Broman, D.: Logical time for reactive software. In: Workshop on Timing-Centric Reactive Software (TCRS), in Cyber-Physical Systems and Internet of Things Week (CPSIoT). ACM (2023). https:\/\/doi.org\/10.1145\/3576914.3587494","DOI":"10.1145\/3576914.3587494"},{"key":"16_CR34","doi-asserted-by":"publisher","unstructured":"Lohstroh, M., Menard, C., Bateni, S., Lee, E.A.: Toward a lingua franca for deterministic concurrent systems. ACM Trans. Embedded Comput. Syst. (TECS) 20(4), Article 36 (2021). https:\/\/doi.org\/10.1145\/3448128","DOI":"10.1145\/3448128"},{"key":"16_CR35","doi-asserted-by":"publisher","DOI":"10.1201\/9781420006155","volume-title":"Computer Network Time Synchronization \u2013 The Network Time Protocol","author":"DL Mills","year":"2006","unstructured":"Mills, D.L.: Computer Network Time Synchronization \u2013 The Network Time Protocol. CRC Press, Boca Raton, FL (2006)"},{"key":"16_CR36","volume-title":"Now \u2013 The Physics of Time","author":"RA Muller","year":"2016","unstructured":"Muller, R.A.: Now \u2013 The Physics of Time. W. W, Norton and Company (2016)"},{"key":"16_CR37","unstructured":"Ptolemaeus, C.: System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley, CA (2014). http:\/\/ptolemy.org\/books\/Systems"},{"key":"16_CR38","unstructured":"Roestenburg, R., Bakker, R., Williams, R.: Akka in Action. Manning Publications, 2nd edn. (2023)"},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Pregui\u00e7a, N., Baquero, C., Zawirski, M.: Conflict-free replicated data types. Report, INRIA (2011). https:\/\/pages.lip6.fr\/Marc.Shapiro\/papers\/RR-7687.pdf","DOI":"10.1007\/978-3-642-24550-3_29"},{"issue":"4","key":"16_CR40","doi-asserted-by":"publisher","first-page":"385","DOI":"10.3233\/FUN-2004-63405","volume":"63","author":"M Sirjani","year":"2004","unstructured":"Sirjani, M., Movaghar, A., Shali, A., de Boer, F.S.: Modeling and verification of reactive systems using Rebeca. Fund. Inform. 63(4), 385\u2013410 (2004). https:\/\/doi.org\/10.3233\/FUN-2004-63405","journal-title":"Fund. Inform."},{"key":"16_CR41","volume-title":"Theory of Modeling and Simulation","author":"B Zeigler","year":"1976","unstructured":"Zeigler, B.: Theory of Modeling and Simulation. Wiley Interscience, New York (1976)"},{"key":"16_CR42","doi-asserted-by":"publisher","unstructured":"Zeigler, B.P., Lee, J.S.: Theory of quantized systems: formal basis for DEVS\/HLA distributed simulation environment. In: SPIE Conference on Enabling Technology for Simulation Science. vol. SPIE Vol. 3369, pp. 49\u201358 (1998). https:\/\/doi.org\/10.1117\/12.319354","DOI":"10.1117\/12.319354"},{"key":"16_CR43","doi-asserted-by":"publisher","unstructured":"Zhao, Y., Lee, E.A., Liu, J.: A programming model for time-synchronized distributed real-time systems. In: Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 259 \u2013 268. IEEE (2007). https:\/\/doi.org\/10.1109\/RTAS.2007.5","DOI":"10.1109\/RTAS.2007.5"}],"container-title":["Lecture Notes in Computer Science","Concurrent Programming, Open Systems and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05291-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T20:58:50Z","timestamp":1780520330000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05291-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,25]]},"ISBN":["9783032052902","9783032052919"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05291-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,25]]},"assertion":[{"value":"25 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The author has no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}}]}}