{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T07:32:06Z","timestamp":1750404726919,"version":"3.37.3"},"reference-count":116,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100018833","name":"Agence de l\u2019innovation de D\u00e9fense","doi-asserted-by":"publisher","award":["ANR-17-EURE-0005"],"award-info":[{"award-number":["ANR-17-EURE-0005"]}],"id":[{"id":"10.13039\/501100018833","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-17-EURE-0005"],"award-info":[{"award-number":["ANR-17-EURE-0005"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1007\/s11023-023-09624-2","type":"journal-article","created":{"date-parts":[[2023,3,26]],"date-time":"2023-03-26T21:50:55Z","timestamp":1679867455000},"page":"83-112","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Computers as Interactive Machines: Can We Build an Explanatory Abstraction?"],"prefix":"10.1007","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9023-506X","authenticated-orcid":false,"given":"Alice","family":"Martin","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7548-6274","authenticated-orcid":false,"given":"Mathieu","family":"Magnaudet","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5145-6476","authenticated-orcid":false,"given":"St\u00e9phane","family":"Conversy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,3,11]]},"reference":[{"key":"9624_CR1","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-7091-6878-3_10","volume-title":"Design, specification and verification of interactive systems\u2019 97","author":"J Accot","year":"1997","unstructured":"Accot, J., Chatty, S., Maury, S., & Palanque, P. (1997). Formal transducers: Models of devices and building bricks for the design of highly interactive systems. Design, specification and verification of interactive systems\u2019 97 (pp. 143\u2013159). Springer. https:\/\/doi.org\/10.1007\/978-3-7091-6878-3_10."},{"key":"9624_CR2","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/3-540-16042-6_2","volume-title":"Readings in distributed artificial intelligence","author":"G Agha","year":"1988","unstructured":"Agha, G., & Hewitt, C. (1988). Concurrent programming using actors: Exploiting large-scale parallelism. In A. H. Bond & L. Gasser (Eds.), Readings in distributed artificial intelligence (pp. 398\u2013407). Morgan Kaufmann. https:\/\/doi.org\/10.1007\/3-540-16042-6_2"},{"issue":"2","key":"9624_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., & Dill, D. L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183\u2013235. https:\/\/doi.org\/10.1016\/0304-3975(94)90010-8","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9624_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur, R., & Henzinger, T. A. (1993). Real-time logics: Complexity and expressiveness. Information and Computation, 104(1), 35\u201377. https:\/\/doi.org\/10.1006\/inco.1993.1025","journal-title":"Information and Computation"},{"key":"9624_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-63141-0_7","volume-title":"CONCUR \u201997: Concurrency theory. CONCUR 1997","author":"HR Andersen","year":"1997","unstructured":"Andersen, H. R., M\u00f8rk, S., & S\u00f8rensen, M. U. (1997). A universal reactive machine. Lecture Notes in Computer ScienceIn W. J. In & A. Mazurkiewicz (Eds.), CONCUR \u201997: Concurrency theory. CONCUR 1997 (Vol. 1243, pp. 89\u2013103). Springer. https:\/\/doi.org\/10.1007\/3-540-63141-0_7"},{"key":"9624_CR6","doi-asserted-by":"publisher","unstructured":"Arbach, Y., Karcher, D., Peters, K., & Nestmann, U. (2015). Dynamic causality in event structures. In V. M. S. Graf (ed.), Formal techniques for distributed objects, components, and systems, volume 9039 of lecture notes in computer science, pp. 83\u201397. https:\/\/doi.org\/10.1007\/978-3-319-19195-9_6","DOI":"10.1007\/978-3-319-19195-9_6"},{"key":"9624_CR7","unstructured":"Attie, P. C., & Lynch, N. A. (2003). Dynamic input\/output automata: A formal model for dynamic systems. Technical Report MIT-CSAIL-TR-2003-006, MIT Computer Science and Artificial Intelligene Laboratory."},{"key":"9624_CR8","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/j.ic.2013.08.010","volume-title":"FCT 2011: Fundamentals of computation theory. Lecture notes in computer science","author":"JC Baeten","year":"2013","unstructured":"Baeten, J. C., Luttik, B., & Tilburg, P. V. (2013). Reactive turing machines. In S. M. T. J. In & O. Owe (Eds.), FCT 2011: Fundamentals of computation theory. Lecture notes in computer science (pp. 348\u2013359). Springer. https:\/\/doi.org\/10.1016\/j.ic.2013.08.010"},{"issue":"4","key":"9624_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2501654.2501666","volume":"45","author":"E Bainomugisha","year":"2013","unstructured":"Bainomugisha, E., Carreton, A. L., Cutsem, T. V., Mostinckx, S., & Meuter, W. D. (2013). A survey on reactive programming. ACM Computing Surveys, 45(4), 1\u201334. https:\/\/doi.org\/10.1145\/2501654.2501666","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"9624_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.2001.3060","volume":"171","author":"P Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., & Montanari, U. (2001). Contextual petri nets, asymmetric event structures, and processes. Information and Computation, 171(1), 1\u201349. https:\/\/doi.org\/10.1006\/inco.2001.3060","journal-title":"Information and Computation"},{"key":"9624_CR11","doi-asserted-by":"publisher","unstructured":"Basman, A., Tchernavskij, P., Bates, S., & Beaudouin-Lafon, M. (2018). An anatomy of interaction: Co-occurrences and entanglements. In Conference companion of the 2nd international conference on art, science, and engineering of programming (pp. 188\u2013196). Association for Computing Machinery. https:\/\/doi.org\/10.1145\/3191697.3214328","DOI":"10.1145\/3191697.3214328"},{"key":"9624_CR12","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/3-540-34874-3_10","volume-title":"Interactive computation: The new paradigm","author":"M Beaudouin-Lafon","year":"2006","unstructured":"Beaudouin-Lafon, M. (2006). Human-computer interaction. In D. Goldin, S. A. Smolka, & P. Wegner (Eds.), Interactive computation: The new paradigm (pp. 227\u2013254). Berlin Heidelberg: Springer. https:\/\/doi.org\/10.1007\/3-540-34874-3_10"},{"key":"9624_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00974201","volume":"4","author":"W Bechtel","year":"1994","unstructured":"Bechtel, W. (1994). Levels of description and explanation in cognitive science. Minds and Machines, 4, 1\u201325. https:\/\/doi.org\/10.1007\/BF00974201","journal-title":"Minds and Machines"},{"issue":"2","key":"9624_CR14","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., & Gonthier, G. (1992). The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2), 87\u2013152. https:\/\/doi.org\/10.1016\/0167-6423(92)90005-V","journal-title":"Science of Computer Programming"},{"key":"9624_CR15","doi-asserted-by":"publisher","unstructured":"Berry, G., & Serrano, M. (2020). Hiphop.js: (a)synchronous reactive web programming. In Proceedings of the ACM SIGPLAN conference on programming language design and implementation (pp. 533\u2013545). PLDI 2020, Association for Computing Machinery, New York, NY, USA. https:\/\/doi.org\/10.1145\/3385412.3385984","DOI":"10.1145\/3385412.3385984"},{"key":"9624_CR16","unstructured":"Bon\u00e9r, J., Farley, D., Kuhn, R., & Thompson, M. (2014). The reactive manifesto. Org: Reactivemanifesto."},{"key":"9624_CR17","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1086\/687855","volume":"83","author":"W Boone","year":"2016","unstructured":"Boone, W., & Piccinini, G. (2016). Mechanistic abstraction. Philosophy of Science, 83, 686\u2013697. https:\/\/doi.org\/10.1086\/687855","journal-title":"Philosophy of Science"},{"key":"9624_CR18","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1002\/spe.4380210406","volume":"21","author":"F Boussinot","year":"1991","unstructured":"Boussinot, F. (1991). Reactive c: An extension of c to program reactive systems. Software: Practice and Experience, 21, 401\u2013428. https:\/\/doi.org\/10.1002\/spe.4380210406","journal-title":"Software: Practice and Experience"},{"key":"9624_CR19","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/s11023-018-9469-2","volume":"28","author":"C Boz\u015fahin","year":"2018","unstructured":"Boz\u015fahin, C. (2018). Computers aren\u2019t syntax all the way down or content all the way up. Minds and Machines, 28, 543\u2013567. https:\/\/doi.org\/10.1007\/s11023-018-9469-2","journal-title":"Minds and Machines"},{"key":"9624_CR20","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-7091-6878-3_8","volume-title":"Design, specification and verification of interactive systems\u2019 97. Eurographics","author":"JC Campos","year":"1997","unstructured":"Campos, J. C., & Harrison, M. D. (1997). Formally verifying interactive systems: A review. In T. J. In & M. D. Harrison (Eds.), Design, specification and verification of interactive systems\u2019 97. Eurographics (pp. 109\u2013124). Springer. https:\/\/doi.org\/10.1007\/978-3-7091-6878-3_8"},{"key":"9624_CR21","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1007\/978-3-030-54994-7_35","volume-title":"Formal methods. FM 2019 international workshops","author":"A Canny","year":"2019","unstructured":"Canny, A., Navarre, D., Campos, J. C., & Palanque, P. (2019). Model-based testing of post-wimp interactions using object oriented petri-nets. In Formal methods. FM 2019 international workshops (pp. 486\u2013502). Springer. https:\/\/doi.org\/10.1007\/978-3-030-54994-7_35"},{"key":"9624_CR22","doi-asserted-by":"publisher","unstructured":"Casiez, G., & Roussel, N. (2011). No more bricolage! methods and tools to characterize, replicate and compare pointing transfer functions. In Proceedings of the 24th annual ACM symposium on user interface software and technology (pp. 603\u2013614). Association for Computing Machinery. https:\/\/doi.org\/10.1145\/2047196.2047276","DOI":"10.1145\/2047196.2047276"},{"key":"9624_CR23","doi-asserted-by":"publisher","unstructured":"Caspi, P., Pilaud, D., Halbwachs, N., & Plaice, J. A. (1987). Lustre: A declarative language for real-time programming. In Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on principles of programming languages (pp. 178\u2013188). POPL \u201987, Association for Computing Machinery, New York, NY, USA. https:\/\/doi.org\/10.1145\/41625.41641","DOI":"10.1145\/41625.41641"},{"key":"9624_CR24","doi-asserted-by":"publisher","unstructured":"Chatty, S. (1994). Extending a graphical toolkit for two-handed interaction. In Proceedings of the 7th annual ACM symposium on user interface software and technology (pp. 195\u2013204). Association for Computing Machinery. https:\/\/doi.org\/10.1145\/192426.192500","DOI":"10.1145\/192426.192500"},{"issue":"2","key":"9624_CR25","doi-asserted-by":"publisher","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A Church","year":"1940","unstructured":"Church, A. (1940). A formulation of the simple theory of types. Journal of Symbolic Logic, 5(2), 56\u201368. https:\/\/doi.org\/10.2307\/2266170","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"9624_CR26","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1093\/comjnl\/bxl062","volume":"50","author":"P Cockshott","year":"2007","unstructured":"Cockshott, P., & Michaelson, G. (2007). Are there new models of computation? reply to Wegner and Eberbach. Computer Journal, 50(2), 232\u2013247. https:\/\/doi.org\/10.1093\/comjnl\/bxl062","journal-title":"Computer Journal"},{"issue":"1","key":"9624_CR27","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1086\/392866","volume":"68","author":"CF Craver","year":"2001","unstructured":"Craver, C. F. (2001). Role functions, mechanisms, and hierarchy. Philosophy of Science, 68(1), 53\u201374. https:\/\/doi.org\/10.1086\/392866","journal-title":"Philosophy of Science"},{"key":"9624_CR28","doi-asserted-by":"publisher","unstructured":"Czaplicki, E., & Chong, S. (2013). Asynchronous functional reactive programming for guis. In Proceedings of the ACM SIGPLAN conference on programming language design and implementation (PLDI) (Vol.\u00a048, pp. 411\u2013422). Association for Computing Machinery, New York, NY, USA. https:\/\/doi.org\/10.1145\/2462156.2462161","DOI":"10.1145\/2462156.2462161"},{"issue":"1","key":"9624_CR29","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1006\/ijhc.1996.0087","volume":"46","author":"AM Dearden","year":"1997","unstructured":"Dearden, A. M., & Harrison, M. D. (1997). Abstract models for HCI. International Journal of Human Computer Studies, 46(1), 151\u2013177. https:\/\/doi.org\/10.1006\/ijhc.1996.0087","journal-title":"International Journal of Human Computer Studies"},{"key":"9624_CR30","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/s11023-011-9235-1","volume":"21","author":"G Dodig-Crnkovic","year":"2011","unstructured":"Dodig-Crnkovic, G. (2011). Significance of models of computation, from turing model to natural computation. Minds and Machines, 21, 301\u2013322. https:\/\/doi.org\/10.1007\/s11023-011-9235-1","journal-title":"Minds and Machines"},{"key":"9624_CR31","doi-asserted-by":"publisher","unstructured":"Dragicevic, P., & Fekete, J. D. (2004). Support for input adaptability in the icon toolkit. In Proceedings of the 6th international conference on multimodal interfaces (pp. 212\u2013219). ICMI \u201904, Association for Computing Machinery. https:\/\/doi.org\/10.1145\/1027933.1027969","DOI":"10.1145\/1027933.1027969"},{"key":"9624_CR32","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-662-05642-4_7","volume-title":"Alan turing: Life and legacy of a great thinker","author":"E Eberbach","year":"2004","unstructured":"Eberbach, E., Goldin, D., & Wegner, P. (2004). Turing\u2019s ideas and models of computation. In C. Teuscher (Ed.), Alan turing: Life and legacy of a great thinker (pp. 159\u2013194). Springer. https:\/\/doi.org\/10.1007\/978-3-662-05642-4_7"},{"key":"9624_CR33","doi-asserted-by":"publisher","unstructured":"Elliott, C., & Hudak, P. (1997). Functional reactive animation. In Proceedings of the second ACM SIGPLAN international conference on functional programming, volume\u00a032 of ICFP \u201997 (pp. 263\u2013273). Association for Computing Machinery. https:\/\/doi.org\/10.1145\/258949.258973","DOI":"10.1145\/258949.258973"},{"key":"9624_CR34","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11023-010-9199-6","volume":"20","author":"N Fresco","year":"2010","unstructured":"Fresco, N. (2010). Explaining computation without semantics: Keeping it simple. Minds and Machines, 20, 165\u2013181. https:\/\/doi.org\/10.1007\/s11023-010-9199-6","journal-title":"Minds and Machines"},{"key":"9624_CR35","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/978-3-540-28629-5_42","volume-title":"29th international symposium on mathematical foundations of computer, volume 3153 of lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics)","author":"RV Glabbeek","year":"2004","unstructured":"Glabbeek, R. V., & Plotkin, G. (2004). Event structures for resolvable conflict. 29th international symposium on mathematical foundations of computer, volume 3153 of lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics) (pp. 550\u2013561). Springer. https:\/\/doi.org\/10.1007\/978-3-540-28629-5_42"},{"issue":"S3","key":"9624_CR36","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1086\/341857","volume":"69","author":"S Glennan","year":"2002","unstructured":"Glennan, S. (2002). Rethinking mechanistic explanation. Philosophy of Science, 69(S3), 342\u2013353. https:\/\/doi.org\/10.1086\/341857","journal-title":"Philosophy of Science"},{"key":"9624_CR37","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s11023-007-9083-1","volume":"18","author":"D Goldin","year":"2008","unstructured":"Goldin, D., & Wegner, P. (2008). The interactive nature of computing: Refuting the strong church-turing thesis. Minds and Machines, 18, 17\u201338. https:\/\/doi.org\/10.1007\/s11023-007-9083-1","journal-title":"Minds and Machines"},{"key":"9624_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-34874-3","volume-title":"Interactive computation: The new paradigm","author":"D Goldin","year":"2006","unstructured":"Goldin, D., Wegner, P., & Smolka, S. A. (2006). Interactive computation: The new paradigm. Springer. https:\/\/doi.org\/10.1007\/3-540-34874-3"},{"key":"9624_CR39","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/3-540-46564-2_8","volume-title":"Foundations of information and knowledge systems. FoIKS 2000, volume 1762 of lecture notes in computer science","author":"DQ Goldin","year":"2000","unstructured":"Goldin, D. Q. (2000). Persistent turing machines as a model of interactive computation. In T. B. K. D. Schewe (Ed.), Foundations of information and knowledge systems. FoIKS 2000, volume 1762 of lecture notes in computer science (pp. 116\u2013135). Springer. https:\/\/doi.org\/10.1007\/3-540-46564-2_8"},{"key":"9624_CR40","volume-title":"Hackers and painters: Essays on the art of programming","author":"P Graham","year":"2004","unstructured":"Graham, P. (2004). Hackers and painters: Essays on the art of programming. O\u2019Reilly & Associates Inc."},{"key":"9624_CR41","doi-asserted-by":"publisher","unstructured":"Harel, D., & Pnueli, A. (1985). On the development of reactive systems. In K.\u00a0Apt, ed., Logics and Models of Concurrent Systems, volume\u00a013 of NATO ASI Series (pp. 477\u2013498). Springer. https:\/\/doi.org\/10.1007\/978-3-642-82453-1_17","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"9624_CR42","unstructured":"Hewitt, C., & Baker, H. (1978). Actors and continuous functionals (Report No MIT\/LCS\/TR-194). MIT Laboratory for Computer Science. https:\/\/apps.dtic.mil\/sti\/pdfs\/ADA052266.pdf"},{"key":"9624_CR43","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/24054.24055","volume":"5","author":"RD Hill","year":"1986","unstructured":"Hill, R. D. (1986). Supporting concurrency, communication, and synchronization in human-computer interaction\u2013The sassafras uims. ACM Transactions on Graphics, 5, 179\u2013210. https:\/\/doi.org\/10.1145\/24054.24055","journal-title":"ACM Transactions on Graphics"},{"key":"9624_CR44","doi-asserted-by":"publisher","unstructured":"Hornbaek, K., & Oulasvirta, A. (2017). What is interaction? In Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems (pp. 5040\u20135052). Association for Computing Machinery. https:\/\/doi.org\/10.1145\/3025453.3025765","DOI":"10.1145\/3025453.3025765"},{"key":"9624_CR45","doi-asserted-by":"publisher","unstructured":"Huot, S., Dumas, C., Dragicevic, P., Fekete, J. D., & H\u00e9gron, G. (2004). The magglite post-wimp toolkit: draw it, connect it and run it. In Proceedings of the 17th annual ACM symposium on User interface software and technology (pp. 257\u2013266). UIST \u201904, Association for Computing Machinery. https:\/\/doi.org\/10.1145\/1029632.1029677","DOI":"10.1145\/1029632.1029677"},{"issue":"1","key":"9624_CR46","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/234313.234387","volume":"28","author":"RJK Jacob","year":"1996","unstructured":"Jacob, R. J. K. (1996). Human-computer interaction: Input devices. ACM Computing Surveys, 28(1), 177\u2013179. https:\/\/doi.org\/10.1145\/234313.234387","journal-title":"ACM Computing Surveys"},{"key":"9624_CR47","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/310641.310642","volume":"6","author":"RJK Jacob","year":"1999","unstructured":"Jacob, R. J. K., Deligiannidis, L., & Morrison, S. (1999). A software model and specification language for non-wimp user interfaces. ACM Transactions on Computer-Human Interaction, 6, 1\u201346. https:\/\/doi.org\/10.1145\/310641.310642","journal-title":"ACM Transactions on Computer-Human Interaction"},{"key":"9624_CR48","doi-asserted-by":"publisher","unstructured":"Klein, C. (2020). Polychrony and the process view of computation. In Proceedings of the 2018 biennial meeting of the philosophy of science association. Part II (Vol.\u00a087, pp. 1140\u20131149). https:\/\/doi.org\/10.1086\/710613","DOI":"10.1086\/710613"},{"key":"9624_CR49","doi-asserted-by":"publisher","unstructured":"Ko, A. J., & Myers, B. A. (2004). Designing the whyline: A debugging interface for asking questions about program behavior. In Proceedings of the SIGCHI conference on human factors in computing systems (pp. 151\u2013158). CHI \u201904, Association for Computing Machinery. https:\/\/doi.org\/10.1145\/985692.985712","DOI":"10.1145\/985692.985712"},{"key":"9624_CR50","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L. (1978). Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21, 558\u2013565. https:\/\/doi.org\/10.1145\/359545.359563","journal-title":"Communications of the ACM"},{"key":"9624_CR51","doi-asserted-by":"publisher","unstructured":"Lass\u00e8gue, J., & Longo, G. (2012). What is turing\u2019s comparison between mechanism and writing worth? In D.A.L.B. Cooper S.B., ed., How the World Computes. CiE 2012., volume 7318 of Lecture Notes in Computer Science. Springer. https:\/\/doi.org\/10.1007\/978-3-642-30870-3_46","DOI":"10.1007\/978-3-642-30870-3_46"},{"key":"9624_CR52","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/11180.001.0001","volume-title":"Plato and the nerd","author":"EA Lee","year":"2018","unstructured":"Lee, E. A. (2018). Plato and the nerd. MIT Press. https:\/\/doi.org\/10.7551\/mitpress\/11180.001.0001"},{"key":"9624_CR53","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/12307.001.0001","volume-title":"The coevolution","author":"EA Lee","year":"2020","unstructured":"Lee, E. A. (2020). The coevolution. MIT Press. https:\/\/doi.org\/10.7551\/mitpress\/12307.001.0001"},{"key":"9624_CR54","doi-asserted-by":"publisher","unstructured":"Lee, E. A., & Neuendorffer, S. (2006). Concurrent models of computation for embedded software. System-on-chip: Next generation electronics. https:\/\/doi.org\/10.1049\/PBCS018E_ch7","DOI":"10.1049\/PBCS018E_ch7"},{"key":"9624_CR55","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561","author":"EA Lee","year":"1998","unstructured":"Lee, E. A., & Sangiovanni-Vincentelli, A. (1998). A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. https:\/\/doi.org\/10.1109\/43.736561","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"9624_CR56","volume-title":"Structure and interpretation of signals and systems","author":"EA Lee","year":"2003","unstructured":"Lee, E. A., & Varaiya, P. (2003). Structure and interpretation of signals and systems (1st ed.). Addison-Wesley.","edition":"1"},{"key":"9624_CR57","doi-asserted-by":"publisher","unstructured":"Leeuwen, J. V., & Wiedermann, J. (2001). Beyond the turing limit: Evolving interactive systems. In R.P. Pacholski L., ed., SOFSEM 2001: Theory and Practice of Informatics, volume 2234 of Lecture Notes in Computer Science (pp. 90\u2013109). Springer. https:\/\/doi.org\/10.1007\/3-540-45627-9_8","DOI":"10.1007\/3-540-45627-9_8"},{"key":"9624_CR58","doi-asserted-by":"publisher","unstructured":"Leeuwen, J. V., & Wiedermann, J. (2006). A theory of interactive computation. In Interactive Computation: The New Paradigm (pp. 119\u2013142). Springer. https:\/\/doi.org\/10.1007\/3-540-34874-3_6","DOI":"10.1007\/3-540-34874-3_6"},{"issue":"2","key":"9624_CR59","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/3376127","volume":"63","author":"N Leveson","year":"2020","unstructured":"Leveson, N. (2020). Are you sure your software will not kill anyone? Communications of the ACM, 63(2), 25\u201328. https:\/\/doi.org\/10.1145\/3376127","journal-title":"Communications of the ACM"},{"key":"9624_CR60","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-94-015-9620-6_14","volume-title":"The difference between clocks and turing machines","author":"G Longo","year":"1999","unstructured":"Longo, G. (1999). The difference between clocks and turing machines (Vol. 27, pp. 211\u2013232). Springer. https:\/\/doi.org\/10.1007\/978-94-015-9620-6_14"},{"key":"9624_CR61","doi-asserted-by":"publisher","unstructured":"Luttik, B., & Yang, F. (2016). On the executability of interactive computation. In B.L.J.N. Beckmann A., ed., Pursuit of the Universal. CiE 2016, volume 9709 of Lecture Notes in Computer Science (pp. 312\u2013322). Springer. https:\/\/doi.org\/10.1007\/978-3-319-40189-8_32","DOI":"10.1007\/978-3-319-40189-8_32"},{"issue":"1","key":"9624_CR62","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BFb0020971","volume":"185","author":"N Lynch","year":"1996","unstructured":"Lynch, N., Segala, R., & Vaandrager, F. (1996). Hybrid i\/o automata. Information and Computation, 185(1), 105\u2013157. https:\/\/doi.org\/10.1007\/BFb0020971","journal-title":"Information and Computation"},{"issue":"1","key":"9624_CR63","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1086\/392759","volume":"67","author":"P Machamer","year":"2000","unstructured":"Machamer, P., Darden, L., & Craver, C. F. (2000). Thinking about mechanisms. Philosophy of Science, 67(1), 1\u201325. https:\/\/doi.org\/10.1086\/392759","journal-title":"Philosophy of Science"},{"key":"9624_CR64","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1021397712328","volume":"13","author":"B MacLennan","year":"2003","unstructured":"MacLennan, B. (2003). Transcending turing computability. Minds and Machines, 13, 3\u201322. https:\/\/doi.org\/10.1023\/A:1021397712328","journal-title":"Minds and Machines"},{"key":"9624_CR65","doi-asserted-by":"publisher","unstructured":"Mandel, L., & Pouzet, M. (2005). ReactiveML, a reactive extension to ML. In Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (pp. 82\u201393). PPDP \u201905, Association for Computing Machinery. https:\/\/doi.org\/10.1145\/1069774.1069782","DOI":"10.1145\/1069774.1069782"},{"key":"9624_CR66","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262514620.001.0001","volume-title":"Vision: A computational investigation into the human representation and processing of visual information","author":"D Marr","year":"2010","unstructured":"Marr, D. (2010). Vision: A computational investigation into the human representation and processing of visual information. MIT Press. https:\/\/doi.org\/10.7551\/mitpress\/9780262514620.001.0001"},{"key":"9624_CR67","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/BF00361036","volume":"1","author":"R McClamrock","year":"1990","unstructured":"McClamrock, R. (1990). Marr\u2019s three levels: A re-evaluation. Minds and Machines, 1, 185\u2013196. https:\/\/doi.org\/10.1007\/BF00361036","journal-title":"Minds and Machines"},{"issue":"3","key":"9624_CR68","doi-asserted-by":"publisher","first-page":"215","DOI":"10.4000\/philosophiascientiae.1019","volume":"18","author":"M Mi\u0142kowski","year":"2014","unstructured":"Mi\u0142kowski, M. (2014). Computational mechanisms and models of computation. Philosophia Scientiae, 18(3), 215\u2013228. https:\/\/doi.org\/10.4000\/philosophiascientiae.1019","journal-title":"Philosophia Scientiae"},{"key":"9624_CR69","doi-asserted-by":"publisher","unstructured":"Mi\u0142kowski, M. (2016). A mechanistic account of computational explanation in cognitive science and computational neuroscience. In V.C. M\u00fcller, ed., Computing and Philosophy: Selected Papers from IACAP 2014 (Vol. 375, pp. 191\u2013205). Springer. https:\/\/doi.org\/10.1007\/978-3-319-23291-1_13","DOI":"10.1007\/978-3-319-23291-1_13"},{"key":"9624_CR70","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0049-237X(08)71948-7","volume-title":"Logic colloquium \u201973","author":"R Milner","year":"1975","unstructured":"Milner, R. (1975). Processes: A mathematical model of computing agents. In H. E. Rose & J. C. Shepherdson (Eds.), Logic colloquium \u201973 (Vol. 80, pp. 157\u2013173). Elsevier. https:\/\/doi.org\/10.1016\/S0049-237X(08)71948-7"},{"key":"9624_CR71","doi-asserted-by":"publisher","unstructured":"Milner, R. (1982). Four combinators for concurrency. In Proceedings of the annual acm symposium on principles of distributed computing (pp. 104\u2013110). PODC \u201982, Association for Computing Machinery. https:\/\/doi.org\/10.1145\/800220.806687","DOI":"10.1145\/800220.806687"},{"key":"9624_CR72","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90114-7","author":"R Milner","year":"1983","unstructured":"Milner, R. (1983). Calculi for synchrony and asynchrony. Theoretical Computer Science. https:\/\/doi.org\/10.1016\/0304-3975(83)90114-7","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9624_CR73","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/151233.151240","volume":"36","author":"R Milner","year":"1993","unstructured":"Milner, R. (1993). Elements of interaction: Turing award lecture. Communications of the ACM, 36(1), 78\u201389. https:\/\/doi.org\/10.1145\/151233.151240","journal-title":"Communications of the ACM"},{"key":"9624_CR74","volume-title":"Communicating and mobile systems: The -calculus","author":"R Milner","year":"1999","unstructured":"Milner, R. (1999). Communicating and mobile systems: The -calculus. Cambridge University Press."},{"key":"9624_CR75","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-34874-3_1","volume-title":"Turing, computing and communication","author":"R Milner","year":"2006","unstructured":"Milner, R. (2006). Turing, computing and communication (pp. 1\u20138). Springer. https:\/\/doi.org\/10.1007\/3-540-34874-3_1"},{"key":"9624_CR76","unstructured":"Mol, L. D. (2018). Turing machines. Stanford Encyclopedia. https:\/\/plato.stanford.edu\/entries\/turing-machine\/#TuriMachModeComp."},{"issue":"1","key":"9624_CR77","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/174800.174808","volume":"1","author":"B Myers","year":"1994","unstructured":"Myers, B. (1994). Challenges of HCI design and implementation. Interactions, 1(1), 73\u201383. https:\/\/doi.org\/10.1145\/174800.174808","journal-title":"Interactions"},{"key":"9624_CR78","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/344949.344959","volume":"7","author":"B Myers","year":"2000","unstructured":"Myers, B., Hudson, S. E., & Pausch, R. (2000). Past, present, and future of user interface software tools. ACM Transactions on Computer-Human Interaction, 7, 3\u201328. https:\/\/doi.org\/10.1145\/344949.344959","journal-title":"ACM Transactions on Computer-Human Interaction"},{"key":"9624_CR79","doi-asserted-by":"publisher","unstructured":"Myers, B., Park, S. Y., Nakano, Y., Mueller, G., & Ko, A. (2008). How designers design and program interactive behaviors. In Proceedings\u20142008 IEEE symposium on visual languages and human-centric computing, VL\/HCC 2008 (pp. 177\u2013184). IEEE. https:\/\/doi.org\/10.1109\/VLHCC.2008.4639081","DOI":"10.1109\/VLHCC.2008.4639081"},{"key":"9624_CR80","doi-asserted-by":"publisher","unstructured":"Myers, B. A. (1991). Separating application code from toolkits: Eliminating the spaghetti of call-backs. In Proceedings of the 4th annual ACM symposium on user interface software and technology, UIST 1991 (pp. 211\u2013220). UIST \u201991, Association for Computing Machinery. https:\/\/doi.org\/10.1145\/120782.120805","DOI":"10.1145\/120782.120805"},{"key":"9624_CR81","doi-asserted-by":"publisher","unstructured":"Myers, B. A. (2013). Improving program comprehension by answering questions (keynote). In Proceedings of the 21st IEEE\/ACM conference on program comprehension (ICPC) (pp. 1\u20132). ICPC. https:\/\/doi.org\/10.1109\/ICPC.2013.6613827","DOI":"10.1109\/ICPC.2013.6613827"},{"key":"9624_CR82","doi-asserted-by":"publisher","unstructured":"Myers, B. A., Giuse, D., Mickish, A., Zanden, B. V., Kosbie, D., McDaniel, R., Landay, J., Goldberg, M., & Pathasarathy, R. (1994). The garnet user interface development environment. In Conference companion on human factors in computing systems (pp. 25\u201326). CHI \u201994, Association for Computing Machinery. https:\/\/doi.org\/10.1145\/259963.260472","DOI":"10.1145\/259963.260472"},{"key":"9624_CR83","doi-asserted-by":"publisher","unstructured":"Myers, B. A., Giuse, D. A., Dannenberg, R. B., Zanden, B. V., Kosbie, D. S., Pervin, E., Mickish, A., & Marchal, P. (1995). Garnet comprehensive support for graphical, highly interactive user interfaces. In R.\u00a0Baecker, J.\u00a0Grudin, W.\u00a0Buxton, & S.\u00a0Greenberg, eds., Readings in Human\u2013Computer Interaction (pp. 357\u2013371). Morgan Kaufmann. https:\/\/doi.org\/10.1016\/B978-0-08-051574-8.50037-6","DOI":"10.1016\/B978-0-08-051574-8.50037-6"},{"key":"9624_CR84","doi-asserted-by":"publisher","unstructured":"Myers, B. A., & Rosson, M. B. (1992). Survey on user interface programming. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (pp. 195\u2013202). CHI \u201992, Association for Computing Machinery. https:\/\/doi.org\/10.1145\/142750.142789","DOI":"10.1145\/142750.142789"},{"key":"9624_CR85","doi-asserted-by":"publisher","unstructured":"Navarre, D., Palanque, P., Dragicevic, P., & Bastide, R. (2006). An approach integrating two complementary model-based environments for the construction of multimodal interactive applications. Interacting with Computers, 18, 910\u2013941. https:\/\/doi.org\/10.1016\/j.intcom.2006.03.002","DOI":"10.1016\/j.intcom.2006.03.002"},{"key":"9624_CR86","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1614390.1614393","volume":"16","author":"D Navarre","year":"2009","unstructured":"Navarre, D., Palanque, P., Ladry, J. F., & Barboni, E. (2009). Icos: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Transactions on Computer-Human Interaction, 16, 1\u201356. https:\/\/doi.org\/10.1145\/1614390.1614393","journal-title":"ACM Transactions on Computer-Human Interaction"},{"issue":"1","key":"9624_CR87","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., & Winskel, G. (1981). Petri nets, event structures and domains, part I. Theoretical Computer Science, 13(1), 85\u2013108. https:\/\/doi.org\/10.1016\/0304-3975(81)90112-2","journal-title":"Theoretical Computer Science"},{"key":"9624_CR88","volume-title":"The elements of computing systems","author":"N Nisan","year":"2021","unstructured":"Nisan, N., & Schocken, S. (2021). The elements of computing systems (2nd ed.). Building a Modern Computer from First Principles, MIT Press.","edition":"2"},{"key":"9624_CR89","doi-asserted-by":"publisher","unstructured":"Petri, C. (1980). Introduction to general net theory. In W.\u00a0Brauer, ed., Net Theory and Applications, volume\u00a084 of Lecture Notes in Computer Science. Springer Berlin Heidelberg. https:\/\/doi.org\/10.1007\/3-540-10001-6_21","DOI":"10.1007\/3-540-10001-6_21"},{"key":"9624_CR90","doi-asserted-by":"publisher","DOI":"10.1086\/522851","author":"G Piccinini","year":"2007","unstructured":"Piccinini, G. (2007). Computing mechanisms. Philosophy of Science. https:\/\/doi.org\/10.1086\/522851","journal-title":"Philosophy of Science"},{"issue":"1","key":"9624_CR91","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1111\/j.1468-0114.2008.00309.x","volume":"89","author":"G Piccinini","year":"2008","unstructured":"Piccinini, G. (2008). Computers. Pacific Philosophical Quarterly, 89(1), 32\u201373. https:\/\/doi.org\/10.1111\/j.1468-0114.2008.00309.x","journal-title":"Pacific Philosophical Quarterly"},{"key":"9624_CR92","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/j.neunet.2007.12.010","volume":"21","author":"G Piccinini","year":"2008","unstructured":"Piccinini, G. (2008). Some neural networks compute, others don\u2019t. Neural Networks, 21, 311\u2013321. https:\/\/doi.org\/10.1016\/j.neunet.2007.12.010","journal-title":"Neural Networks"},{"key":"9624_CR93","first-page":"641","volume":"54","author":"E Post","year":"1948","unstructured":"Post, E. (1948). Degrees of recursive unsolvability: Preliminary report. Bulletin of the American Mathematical Society, 54, 641\u2013642.","journal-title":"Bulletin of the American Mathematical Society"},{"issue":"6","key":"9624_CR94","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1093\/comjnl\/41.6.357","volume":"41","author":"M Prasse","year":"1998","unstructured":"Prasse, M., & Rittgen, P. (1998). Why church\u2019s thesis still holds. Some notes on peter Wegner\u2019s tracts on interaction and computability. The Computer Journal, 41(6), 357\u2013362. https:\/\/doi.org\/10.1093\/comjnl\/41.6.357","journal-title":"The Computer Journal"},{"key":"9624_CR95","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2004.001.0001","volume-title":"Computation and cognition. Toward a foundation for cognitive science","author":"Z Pylyshyn","year":"1986","unstructured":"Pylyshyn, Z. (1986). Computation and cognition. Toward a foundation for cognitive science. MIT Press."},{"issue":"3","key":"9624_CR96","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s11023-018-9465-6","volume":"28","author":"WJ Rapaport","year":"2018","unstructured":"Rapaport, W. J. (2018). What is a computer? A survey. Minds and Machines, 28(3), 385\u2013426. https:\/\/doi.org\/10.1007\/s11023-018-9465-6","journal-title":"Minds and Machines"},{"key":"9624_CR97","doi-asserted-by":"publisher","unstructured":"Reisig, W. (1988). Temporal logic and causality in concurrent systems. In F.\u00a0Vogt, ed., CONCURRENCY 1988, volume 335 of Lecture Notes in Computer Science (pp. 121\u2013139). Springer. https:\/\/doi.org\/10.1007\/3-540-50403-6_37","DOI":"10.1007\/3-540-50403-6_37"},{"key":"9624_CR98","doi-asserted-by":"publisher","unstructured":"Salvaneschi, G., Margara, A., & Tamburrelli, G. (2015). Reactive programming: A walkthrough. In IEEE\/ACM 37th IEEE International Conference on Software Engineering (Vol.\u00a02, pp. 953\u2013954). IEEE. https:\/\/doi.org\/10.1109\/ICSE.2015.303","DOI":"10.1109\/ICSE.2015.303"},{"key":"9624_CR99","doi-asserted-by":"crossref","unstructured":"Schmidt, K., & Bansler, J. (2016). Computational artifacts: interactive and collaborative computing as an integral feature of work practice. In B.L.M.P.B.S. De\u00a0Angeli A., ed., COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy (pp. 21\u201338). Springer.","DOI":"10.1007\/978-3-319-33464-6_2"},{"key":"9624_CR100","doi-asserted-by":"publisher","unstructured":"Segala, R., Gawlick, R., S\u00f8gaard-Andersen, J., & Lynch, N. (1994). Liveness in timed and untimed systems. In S.E. Abiteboul S., ed., Automata, Languages and Programming. ICALP 1994, volume 820 of Lecture Notes in Computer Science. Springer https:\/\/doi.org\/10.1007\/3-540-58201-0_66","DOI":"10.1007\/3-540-58201-0_66"},{"key":"9624_CR101","doi-asserted-by":"publisher","unstructured":"Shagrir, O. (2006). G\u00f6del on turing on computability. In A.\u00a0Olszewski, J.\u00a0Wolenski, and R.\u00a0Janusz, eds., Church\u2019s Thesis After 70 Years (pp. 393\u2013419). De Gruyter. https:\/\/doi.org\/10.1515\/9783110325461.393","DOI":"10.1515\/9783110325461.393"},{"key":"9624_CR102","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s11023-012-9280-4","volume":"22","author":"O Shagrir","year":"2012","unstructured":"Shagrir, O. (2012). Computation, implementation, cognition. Minds and Machines, 22, 137\u2013148. https:\/\/doi.org\/10.1007\/s11023-012-9280-4","journal-title":"Minds and Machines"},{"key":"9624_CR103","volume-title":"Computationlism: New directions","author":"BC Smith","year":"2002","unstructured":"Smith, B. C. (2002). The foundations of computing. In M. Scheutz (Ed.), Computationlism: New directions. MIT Press."},{"key":"9624_CR104","doi-asserted-by":"publisher","unstructured":"Smith, W. R. (1995). Using a prototype-based language for user interface: The newton project\u2019s experience. In Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (pp. 61\u201372). OOPSLA \u201995, Association for Computing Machinery. https:\/\/doi.org\/10.1145\/217838.217844","DOI":"10.1145\/217838.217844"},{"issue":"3","key":"9624_CR105","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1016\/j.apal.2009.01.008","volume":"160","author":"RI Soare","year":"2009","unstructured":"Soare, R. I. (2009). Turing oracle machines, online computing, and three displacements in computability theory. Annals of Pure and Applied Logic, 160(3), 368\u2013399. https:\/\/doi.org\/10.1016\/j.apal.2009.01.008","journal-title":"Annals of Pure and Applied Logic"},{"key":"9624_CR106","doi-asserted-by":"publisher","unstructured":"Soare, R. I. (2013). Interactive computing and relativized computability (chapter\u00a09, pp. 214\u2013271). MIT Press. https:\/\/doi.org\/10.7551\/mitpress\/8009.003.0010","DOI":"10.7551\/mitpress\/8009.003.0010"},{"key":"9624_CR107","volume-title":"Plans and situated actions: The problem of human-machine communication","author":"LA Suchman","year":"1987","unstructured":"Suchman, L. A. (1987). Plans and situated actions: The problem of human-machine communication. Cambridge University Press."},{"issue":"1","key":"9624_CR108","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"s2\u201342","author":"A Turing","year":"1937","unstructured":"Turing, A. (1937). On computable numbers, with an application to the entscheidungsproblem. Proceedings of the London Mathematical Society, s2\u201342(1), 230\u2013265. https:\/\/doi.org\/10.1112\/plms\/s2-42.1.230","journal-title":"Proceedings of the London Mathematical Society"},{"issue":"1","key":"9624_CR109","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1112\/plms\/s2-45.1.161","volume":"s2\u201345","author":"A Turing","year":"1939","unstructured":"Turing, A. (1939). Systems of logic based on ordinals. Proceedings of the London Mathematical Society, s2\u201345(1), 161\u2013228. https:\/\/doi.org\/10.1112\/plms\/s2-45.1.161","journal-title":"Proceedings of the London Mathematical Society"},{"key":"9624_CR110","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"59","author":"A Turing","year":"1950","unstructured":"Turing, A. (1950). Computing machinery and intelligence. Minds, 59, 433\u201360.","journal-title":"Minds"},{"key":"9624_CR111","unstructured":"Victor, B. (2012). Learnable programming\u2013designing a programming system for understanding programs. http:\/\/worrydream.com\/LearnableProgramming. Accessed 20 August 2021."},{"key":"9624_CR112","doi-asserted-by":"publisher","unstructured":"Vonder, S. V. D., Koster, J. D., Myter, F., & Meuter, W. D. (2017). Tackling the awkward squad for reactive programming: The actor-reactor model. In Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (pp. 27\u201333). REBLS 2017, Association for Computing Machinery. https:\/\/doi.org\/10.1145\/3141858.3141863","DOI":"10.1145\/3141858.3141863"},{"issue":"1","key":"9624_CR113","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/214037.214092","volume":"27","author":"P Wegner","year":"1995","unstructured":"Wegner, P. (1995). Interaction as a basis for empirical computer science. ACM Computing Surveys (CSUR), 27(1), 45\u201348. https:\/\/doi.org\/10.1145\/214037.214092","journal-title":"ACM Computing Surveys (CSUR)"},{"issue":"5","key":"9624_CR114","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"P Wegner","year":"1997","unstructured":"Wegner, P. (1997). Why interaction is more powerful than algorithms. Communications of the ACM, 40(5), 80\u201391. https:\/\/doi.org\/10.1145\/253769.253801","journal-title":"Communications of the ACM"},{"issue":"13","key":"9624_CR115","first-page":"124","volume":"9","author":"G Williams","year":"1984","unstructured":"Williams, G. (1984). Software frameworks. BYTE Magazine, 9(13), 124\u2013127.","journal-title":"BYTE Magazine"},{"key":"9624_CR116","unstructured":"Wilson, D., Rosenstein, L., & Shafer, D. (1990). C++ Programming with MacApp. Macintosh inside out, Addison-Wesley Publishing Company. https:\/\/vintageapple.org\/macprogramming\/pdf\/C++_Programming_with_MacApp_1987.pdf."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-023-09624-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11023-023-09624-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-023-09624-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,7]],"date-time":"2023-04-07T04:18:32Z","timestamp":1680841112000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11023-023-09624-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3]]},"references-count":116,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["9624"],"URL":"https:\/\/doi.org\/10.1007\/s11023-023-09624-2","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"type":"print","value":"0924-6495"},{"type":"electronic","value":"1572-8641"}],"subject":[],"published":{"date-parts":[[2023,3]]},"assertion":[{"value":"9 May 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 January 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 March 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"No competing interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}