{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T15:40:27Z","timestamp":1771515627198,"version":"3.50.1"},"reference-count":78,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2021,5,29]],"date-time":"2021-05-29T00:00:00Z","timestamp":1622246400000},"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,9,30]]},"abstract":"<jats:p>This article is about deterministic models, what they are, why they are useful, and what their limitations are. First, the article emphasizes that determinism is a property of models, not of physical systems. Whether a model is deterministic or not depends on how one defines the inputs and behavior of the model. To define behavior, one has to define an observer. The article compares and contrasts two classes of ways to define an observer, one based on the notion of \u201cstate\u201d and another that more flexibly defines the observables. The notion of \u201cstate\u201d is shown to be problematic and lead to nondeterminism that is avoided when the observables are defined differently. The article examines determinism in models of the physical world. In what may surprise many readers, it shows that Newtonian physics admits nondeterminism and that quantum physics may be interpreted as a deterministic model. Moreover, it shows that both relativity and quantum physics undermine the notion of \u201cstate\u201d and therefore require more flexible ways of defining observables. Finally, the article reviews results showing that sufficiently rich sets of deterministic models are incomplete. Specifically, nondeterminism is inescapable in any system of models rich enough to encompass Newton\u2019s laws.<\/jats:p>","DOI":"10.1145\/3453652","type":"journal-article","created":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T02:07:31Z","timestamp":1622340451000},"page":"1-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Determinism"],"prefix":"10.1145","volume":"20","author":[{"given":"Edward A.","family":"Lee","sequence":"first","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA"}]}],"member":"320","published-online":{"date-parts":[[2021,5,29]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Concurrent Programming in Erlang","author":"Armstrong Joe","edition":"2"},{"key":"e_1_2_1_2_1","first-page":"19","article-title":"Explanation of adaptive platform design","author":"AUTOSAR.","year":"2019","journal-title":"AUTOSAR AP Release"},{"key":"e_1_2_1_3_1","volume-title":"What Is Real? The Unfinished Quest for the Meaning of Quantum Physics","author":"Becker Adam"},{"key":"e_1_2_1_4_1","first-page":"195","article-title":"On the Einstein Podolsky Rosen paradox","volume":"1","author":"Bell John Stewart","year":"1964","journal-title":"Physica"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"e_1_2_1_6_1","volume-title":"Draper","author":"Box George E. P.","year":"1987"},{"key":"e_1_2_1_7_1","volume-title":"System Design, Modeling, and Simulation using Ptolemy II, Claudius Ptolemaeus (Ed.). Ptolemy.org","author":"Cardoso Janette"},{"key":"e_1_2_1_8_1","first-page":"2","article-title":"A set of postulates for the foundation of logic","volume":"32","author":"Church Alonzo","year":"1932","journal-title":"Annals of Mathematics"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1936-1501858-0"},{"key":"e_1_2_1_10_1","volume-title":"Causation in Grammatical Structures","author":"Copley Bridget"},{"key":"e_1_2_1_11_1","volume-title":"USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201912)","author":"Corbett James C.","year":"2012"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_2_1_13_1","volume-title":"Hybrid co-simulation: It\u2019s about time. Software and Systems Modeling 18 (November","author":"Cremona Fabio","year":"2017"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1119\/1.17411"},{"key":"e_1_2_1_15_1","volume-title":"Stochastic Biomathematical Models: With Applications to Neuronal Modeling","author":"Ditlevsen Susanne"},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","volume-title":"A Primer on Determinism","author":"Earman John","DOI":"10.1007\/978-94-010-9072-8"},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Stephen Edwards. 2018. On Determinism. Vol. LNCS 10760. Springer Cham Switzerland 240\u2013253. DOI:https:\/\/doi.org\/10.1007\/978-3-319-95246-8_14  Stephen Edwards. 2018. On Determinism. Vol. LNCS 10760. Springer Cham Switzerland 240\u2013253. DOI:https:\/\/doi.org\/10.1007\/978-3-319-95246-8_14","DOI":"10.1007\/978-3-319-95246-8_14"},{"key":"e_1_2_1_18_1","volume-title":"The sparse synchronous model. In 2020 Forum for Specification and Design Languages (FDL\u201920)","author":"Edwards Stephen"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00096-5"},{"key":"e_1_2_1_20_1","volume-title":"What counts as a Newtonian system? The view from Norton\u2019s dome. European Journal for Philosophy of Science 2 (October","author":"Fletcher Samuel Craig","year":"2012"},{"key":"e_1_2_1_21_1","first-page":"145","article-title":"McTaggart\u2019s analysis of time","volume":"3","author":"Gale Richard","year":"1966","journal-title":"American Philosophical Quarterly"},{"key":"e_1_2_1_22_1","unstructured":"Stephen Hawking. 2002. G\u00f6del and the end of the universe. Stephen Hawking Public Lectures. http:\/\/www.hawking.org.uk\/godel-and-the-end-of-physics.html.  Stephen Hawking. 2002. G\u00f6del and the end of the universe. Stephen Hawking Public Lectures. http:\/\/www.hawking.org.uk\/godel-and-the-end-of-physics.html."},{"key":"e_1_2_1_23_1","volume-title":"Causal determinism. The Stanford Encyclopedia of Philosophy.Spring 2016 Edition","author":"Hoefer Carl"},{"key":"e_1_2_1_24_1","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft John"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMSWA.2008.4554519"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the IFIP Congress 74","author":"Kahn Gilles","year":"1974"},{"key":"e_1_2_1_27_1","volume-title":"Coroutines and networks of parallel processes","author":"Kahn Gilles"},{"key":"e_1_2_1_28_1","first-page":"541","article-title":"Output-determinacy and asynchronous circuit synthesis","volume":"88","author":"Khomenko Victor","year":"2008","journal-title":"Fundamenta Informaticae"},{"key":"e_1_2_1_29_1","doi-asserted-by":"crossref","volume-title":"Synchronization and Arbitration in Digital Systems","author":"Kinniment David J.","DOI":"10.1002\/9780470517147"},{"key":"e_1_2_1_30_1","volume-title":"A Philosophical Essay on Probabilities","author":"Laplace Pierre-Simon"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/11867340_2"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.127"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1506409.1506426"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2014.2345759"},{"key":"e_1_2_1_37_1","first-page":"26","article-title":"Fundamental limits of cyber-physical systems modeling","volume":"1","author":"Lee Edward A.","year":"2016","journal-title":"ACM Transactions on Cyber-Physical Systems"},{"key":"e_1_2_1_38_1","volume-title":"Plato and the Nerd \u2014 The Creative Partnership of Humans and Technology","author":"Lee Edward Ashford"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/12307.001.0001"},{"key":"e_1_2_1_40_1","volume-title":"Lee and Eleftherios Matsikoudis","author":"Edward","year":"2009"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_2_1_43_1","volume-title":"Lee and Marjan Sirjani","author":"Edward","year":"2018"},{"key":"e_1_2_1_44_1","volume-title":"Lee and Haiyang Zheng","author":"Edward","year":"2007"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219635206001112"},{"key":"e_1_2_1_46_1","volume-title":"8th International Workshop on Model-Based Design of Cyber Physical Systems (CyPhy\u201919)","volume":"11971","author":"Lohstroh Marten","year":"2019"},{"key":"e_1_2_1_47_1","doi-asserted-by":"crossref","unstructured":"M. Lohstroh and E. A. Lee. 2019. Deterministic actors. In 2019 Forum for Specification and Design Languages (FDL\u201919). 1\u20138. DOI:https:\/\/doi.org\/10.1109\/FDL.2019.8876922  M. Lohstroh and E. A. Lee. 2019. Deterministic actors. In 2019 Forum for Specification and Design Languages (FDL\u201919). 1\u20138. DOI:https:\/\/doi.org\/10.1109\/FDL.2019.8876922","DOI":"10.1109\/FDL.2019.8876922"},{"key":"e_1_2_1_48_1","volume-title":"Lee","author":"Lohstroh Marten","year":"2020"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1175\/1520-0469(1963)020<0130:DNF>2.0.CO;2"},{"key":"e_1_2_1_50_1","volume-title":"Norton\u2019s slippery slope. Philosophy of Science 75 (December","author":"Malament David B.","year":"2008"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.6312173"},{"key":"e_1_2_1_52_1","volume-title":"Design, Automation and Test in Europe (DATE\u201920).","author":"Menard Christian"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0144-6"},{"key":"e_1_2_1_54_1","series-title":"Lecture Notes in Computer Science","volume-title":"A Calculus of Communicating Systems","author":"Milner Robin"},{"key":"e_1_2_1_55_1","volume-title":"Communication and Concurrency","author":"Milner Robin"},{"key":"e_1_2_1_56_1","volume-title":"Ray: A distributed framework for emerging AI applications. CoRR abs\/1712.05889","author":"Moritz Philipp","year":"2017"},{"key":"e_1_2_1_57_1","volume-title":"Causation, Physics, and the Constitution of Reality","author":"Norton John D."},{"key":"e_1_2_1_58_1","volume-title":"Concurrency and automata on infinite sequences","author":"Park David"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/50202.50214"},{"key":"e_1_2_1_60_1","volume-title":"The Book of Why: The New Science of Cause and Effect","author":"Pearl Judea"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.4324\/9780203994627"},{"key":"e_1_2_1_62_1","volume-title":"International Conference on Robotics and Automation (ICRA\u201909)","author":"Quigley Morgan","year":"2009"},{"key":"e_1_2_1_63_1","volume-title":"Akka In Action","author":"Roestenburg Raymond"},{"key":"e_1_2_1_64_1","volume-title":"Reality Is Not What It Seems: The Journey to Quantum Gravity","author":"Rovelli Carlo"},{"key":"e_1_2_1_65_1","volume-title":"The Order of Time","author":"Rovelli Carlo"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1093\/aristotelian\/13.1.1"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516507.1516510"},{"key":"e_1_2_1_68_1","volume-title":"Robert De Simone, and Julien Deantoni","author":"Schulz-Rosengarten Alexander","year":"2018"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2020.3007764"},{"key":"e_1_2_1_70_1","first-page":"230","article-title":"On computable numbers with an application to the Entscheidungsproblem","volume":"42","author":"Turing A. M.","year":"1936","journal-title":"Proceedings of the London Mathematical Society"},{"key":"e_1_2_1_71_1","volume-title":"ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI\u201914)","author":"\u00a0al Reinhard","year":"2014"},{"key":"e_1_2_1_72_1","volume-title":"Real-time ticks for synchronous programming. In 2017 Forum on Specification and Design Languages (FDL\u201917)","author":"von Hanxleden Reinhard"},{"key":"e_1_2_1_73_1","doi-asserted-by":"crossref","volume-title":"The Formal Semantics of Programming Languages","author":"Winskel G.","DOI":"10.7551\/mitpress\/3054.001.0001"},{"key":"e_1_2_1_74_1","volume-title":"Determinism in cyber-physical systems specified by interpreted petri nets. Sensors 20, 5565","author":"Wisniewski Remigiusz","year":"2020"},{"key":"e_1_2_1_75_1","volume-title":"A New Kind of Science. Wolfram Media","author":"Wolfram Stephen"},{"key":"e_1_2_1_76_1","first-page":"1257","article-title":"Physical limits of inference","volume":"237","author":"Wolpert David H.","year":"2008","journal-title":"Physica"},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.5"},{"key":"e_1_2_1_78_1","doi-asserted-by":"crossref","volume-title":"Causal Fundamentalism in Physics","author":"Zinkernagel Henrik","DOI":"10.1007\/978-90-481-3252-2_29"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453652","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453652","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453652","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:48Z","timestamp":1750193268000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453652"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,29]]},"references-count":78,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,9,30]]}},"alternative-id":["10.1145\/3453652"],"URL":"https:\/\/doi.org\/10.1145\/3453652","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,5,29]]},"assertion":[{"value":"2021-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-05-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}