{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:47:01Z","timestamp":1750308421557,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,13]],"date-time":"2021-04-13T00:00:00Z","timestamp":1618272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Direction g\u00e9n\u00e9rale de l'armement"},{"name":"Toulouse Graduate School of Aerospace Engineering"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,4,13]]},"DOI":"10.1145\/3451148.3458644","type":"proceedings-article","created":{"date-parts":[[2022,1,13]],"date-time":"2022-01-13T17:07:08Z","timestamp":1642093628000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Vers la compl\u00e9tude interactive: exigences pour une machine abstraite orient\u00e9e interaction"],"prefix":"10.1145","author":[{"given":"Alice","family":"Martin","sequence":"first","affiliation":[{"name":"ENAC, France"}]},{"given":"Mathieu","family":"Magnaudet","sequence":"additional","affiliation":[{"name":"ENAC, France"}]},{"given":"Stephane","family":"Conversy","sequence":"additional","affiliation":[{"name":"ENAC, France"}]}],"member":"320","published-online":{"date-parts":[[2022,1,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Johnny Accot St\u00e9phane Chatty S\u00e9bastien Maury and Philippe Palanque. 1997. Formal Transducers Models of Devices and Building Bricks for the Design of Highly Interactive Systems. https\/\/doi.org\/10.1007\/978-3-7091-6878-3_10  Johnny Accot St\u00e9phane Chatty S\u00e9bastien Maury and Philippe Palanque. 1997. Formal Transducers Models of Devices and Building Bricks for the Design of Highly Interactive Systems. https\/\/doi.org\/10.1007\/978-3-7091-6878-3_10"},{"key":"e_1_3_2_1_2_1","unstructured":"Rajeev Alur and David\u00a0L. Dill. 1994. A theory of timed automata. Theoretical Computer Science(1994). https\/\/doi.org\/10.1016\/0304-3975(94)90010-8  Rajeev Alur and David\u00a0L. Dill. 1994. A theory of timed automata. Theoretical Computer Science(1994). https\/\/doi.org\/10.1016\/0304-3975(94)90010-8"},{"volume-title":"A universal reactive machine","series-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). https\/\/doi.org\/10.1007\/3-540-63141-0_7","author":"Andersen Henrik\u00a0Reif","key":"e_1_3_2_1_3_1"},{"volume-title":"Dynamic causality in event structures","series-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). https\/\/doi.org\/10.1007\/978-3-319-19195-9_6","author":"Arbach Youssef","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","unstructured":"Jos\u00a0C.M. Baeten Bas Luttik and Paul Van Tilburg. 2013. Reactive turing machines. Information and Computation(2013). https\/\/doi.org\/10.1016\/j.ic.2013.08.010  Jos\u00a0C.M. Baeten Bas Luttik and Paul Van Tilburg. 2013. Reactive turing machines. Information and Computation(2013). https\/\/doi.org\/10.1016\/j.ic.2013.08.010"},{"volume-title":"Stijn Mostinckx, and Wolfgang De Meuter.","year":"2013","author":"Bainomugisha Engineer","key":"e_1_3_2_1_6_1"},{"volume-title":"Proceedings of the Workshop on Advanced Visual Interfaces AVI. https\/\/doi.org\/10","year":"2004","author":"Beaudouin-Lafon Michel","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","unstructured":"Michel Beaudouin-Lafon. 2006. Human-computer interaction. In Interactive Computation The New Paradigm. https\/\/doi.org\/10.1007\/3-540-34874-3_10  Michel Beaudouin-Lafon. 2006. Human-computer interaction. In Interactive Computation The New Paradigm. https\/\/doi.org\/10.1007\/3-540-34874-3_10"},{"volume-title":"A Mechanical proof of the Turing completeness of pure Lisp. Automated Theorem Proving After 25 Years (07","year":"1997","author":"Boyer Robert","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/215635.215694"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/97243.97263"},{"key":"e_1_3_2_1_12_1","unstructured":"Stephan Diehl Pieter Hartel and Peter Sestoft. 2000. Abstract machines for programming language implementation. Future Generation Computer Systems(2000). https\/\/doi.org\/10.1016\/S0167-739X(99)00088-6  Stephan Diehl Pieter Hartel and Peter Sestoft. 2000. Abstract machines for programming language implementation. Future Generation Computer Systems(2000). https\/\/doi.org\/10.1016\/S0167-739X(99)00088-6"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/365559.365617"},{"volume-title":"Specification and Verification of Interactors A Tour of Esterel. In Formal Aspects of Human Computer Interaction Workshop","year":"1998","author":"Fekete Jean\u00a0Daniel","key":"e_1_3_2_1_14_1"},{"volume-title":"Programming Languages Principles and Paradigms","author":"Gabbrielli M","key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84882-914-5"},{"volume-title":"The Church-Turing thesis Breaking the myth","series-title":"Lecture Notes in Computer Science. https\/\/doi.org\/10.1007\/11494645_20","author":"Goldin Dina","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","unstructured":"Dina\u00a0Q. Goldin Scott\u00a0A. Smolka and Peter Wegner. 2002. Turing machines transition systems and interaction. In Electronic Notes in Theoretical Computer Science. https\/\/doi.org\/10.1016\/S1571-0661(04)00220-8  Dina\u00a0Q. Goldin Scott\u00a0A. Smolka and Peter Wegner. 2002. Turing machines transition systems and interaction. In Electronic Notes in Theoretical Computer Science. https\/\/doi.org\/10.1016\/S1571-0661(04)00220-8"},{"edition":"2","volume-title":"The Art of Computer Programming Volumes 1-3 Boxed Set","author":"Knuth E.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/321420.321421","article-title":"Programming language for automata","volume":"14","author":"Knuth E.","year":"1967","journal-title":"J. ACM"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"volume-title":"Computing needs time. Commun. ACM","year":"2009","author":"Lee A.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","unstructured":"Edward\u00a0A. Lee. 2016. Fundamental Limits of Cyber-Physical Systems Modeling. ACM Transactions on Cyber-Physical Systems(2016). https\/\/doi.org\/10.1145\/2912149  Edward\u00a0A. Lee. 2016. Fundamental Limits of Cyber-Physical Systems Modeling. ACM Transactions on Cyber-Physical Systems(2016). https\/\/doi.org\/10.1145\/2912149"},{"key":"e_1_3_2_1_23_1","unstructured":"A.\u00a0A. Letichevsky O.\u00a0O. Letychevskyi V.\u00a0G. Skobelev and V.\u00a0A. Volkov. 2017. Cyber-Physical Systems. Cybernetics and Systems Analysis(2017). https\/\/doi.org\/10.1007\/s10559-017-9984-9  A.\u00a0A. Letichevsky O.\u00a0O. Letychevskyi V.\u00a0G. Skobelev and V.\u00a0A. Volkov. 2017. Cyber-Physical Systems. Cybernetics and Systems Analysis(2017). https\/\/doi.org\/10.1007\/s10559-017-9984-9"},{"key":"e_1_3_2_1_24_1","unstructured":"Giuseppe Longo. 1999. The Difference between Clocks and Turing Machines. In Functional Models of Cognition. https\/\/doi.org\/10.1007\/978-94-015-9620-6_14  Giuseppe Longo. 1999. The Difference between Clocks and Turing Machines. In Functional Models of Cognition. https\/\/doi.org\/10.1007\/978-94-015-9620-6_14"},{"volume-title":"On the executability of interactive computation","series-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). https\/\/doi.org\/10.1007\/978-3-319-40189-8_32","author":"Luttik Bas","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","unstructured":"Ingo Maier and Martin Odersky. 2013. Higher-Order Reactive Programming with Incremental Lists. https\/\/doi.org\/10.1007\/978-3-642-39038-8_29  Ingo Maier and Martin Odersky. 2013. Higher-Order Reactive Programming with Incremental Lists. https\/\/doi.org\/10.1007\/978-3-642-39038-8_29"},{"volume-title":"Interactive Programming of Reactive Systems. Electronic Notes in Theoretical Computer Science","year":"2009","author":"Mandel Louis","key":"e_1_3_2_1_27_1"},{"volume-title":"Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. https\/\/doi.org\/10","year":"2005","author":"Mandel Louis","key":"e_1_3_2_1_28_1"},{"volume-title":"Elements of Interaction Turing Award Lecture. Commun. ACM","year":"1993","author":"Milner Robin","key":"e_1_3_2_1_29_1"},{"volume-title":"Communicating and Mobile Systems the \u03c0-calculus","author":"Milner Robin","key":"e_1_3_2_1_30_1"},{"key":"e_1_3_2_1_31_1","unstructured":"Robin Milner. 2006. Turing computing and communication. In Interactive Computation The New Paradigm. https\/\/doi.org\/10.1007\/3-540-34874-3_1  Robin Milner. 2006. Turing computing and communication. In Interactive Computation The New Paradigm. https\/\/doi.org\/10.1007\/3-540-34874-3_1"},{"key":"e_1_3_2_1_32_1","unstructured":"G.\u00a0Michele Pinna. 2020. Representing dependencies in event structures. Logical Methods in Computer Science(2020). https\/\/doi.org\/10.23638\/LMCS-16(23)2020  G.\u00a0Michele Pinna. 2020. Representing dependencies in event structures. Logical Methods in Computer Science(2020). https\/\/doi.org\/10.23638\/LMCS-16(23)2020"},{"volume-title":"Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering. https\/\/doi.org\/10","year":"2014","author":"Salvaneschi Guido","key":"e_1_3_2_1_33_1"},{"volume-title":"Beyond the turing limit Evolving interactive systems","series-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). https\/\/doi.org\/10.1007\/3-540-45627-9_8","author":"Leeuwen Jan Van","key":"e_1_3_2_1_34_1"},{"key":"e_1_3_2_1_35_1","unstructured":"Jan Van Leeuwen and Ji\u0159\u00ed Wiedermann. 2006. A theory of interactive computation. In Interactive Computation The New Paradigm. https\/\/doi.org\/10.1007\/3-540-34874-3_6  Jan Van Leeuwen and Ji\u0159\u00ed Wiedermann. 2006. A theory of interactive computation. In Interactive Computation The New Paradigm. https\/\/doi.org\/10.1007\/3-540-34874-3_6"},{"key":"e_1_3_2_1_36_1","unstructured":"Peter Wegner. 1995. Interaction as a Basis for Empirical Computer Science. ACM Computing Surveys (CSUR)(1995). https\/\/doi.org\/10.1145\/214037.214092  Peter Wegner. 1995. Interaction as a Basis for Empirical Computer Science. ACM Computing Surveys (CSUR)(1995). https\/\/doi.org\/10.1145\/214037.214092"},{"volume-title":"Why interaction is more powerful than algorithms. Commun. ACM","year":"1997","author":"Wegner Peter","key":"e_1_3_2_1_37_1"},{"key":"e_1_3_2_1_38_1","unstructured":"Peter Wegner and Dina Goldin. 2003. Computation beyond turing machines. https\/\/doi.org\/10.1145\/641205.641235  Peter Wegner and Dina Goldin. 2003. Computation beyond turing machines. https\/\/doi.org\/10.1145\/641205.641235"},{"key":"e_1_3_2_1_39_1","unstructured":"Peter Wegner and Dina Goldin. 2006. Principles of problem solving. https\/\/doi.org\/10.1145\/1139922.1139942  Peter Wegner and Dina Goldin. 2006. Principles of problem solving. https\/\/doi.org\/10.1145\/1139922.1139942"},{"volume-title":"How we think of computing today","series-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). https\/\/doi.org\/10.1007\/978-3-540-69407-6_61","author":"Wiedermann Ji\u0159\u00ed","key":"e_1_3_2_1_40_1"},{"volume-title":"What is computation An epistemic approach","series-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). https\/\/doi.org\/10.1007\/978-3-662-46078-8_1","author":"Wiedermann Ji\u0159\u00ed","key":"e_1_3_2_1_41_1"},{"volume-title":"Finite State Machines with Feedback An Architecture Supporting Minimal Machine Consciousness","series-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). https\/\/doi.org\/10.1007\/978-3-030-22996-2_25","author":"Wiedermann Ji\u0159\u00ed","key":"e_1_3_2_1_42_1"}],"event":{"name":"IHM '21: IHM '21 - 32e Conf\u00e9rence Francophone sur l'Interaction Homme-Machine","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Virtual Event France","acronym":"IHM '21"},"container-title":["32e Conf\u00e9rence Francophone sur l'Interaction Homme-Machine"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3451148.3458644","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3451148.3458644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:25Z","timestamp":1750268965000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3451148.3458644"}},"subtitle":["Toward Interactive Completeness: Requirements for an Interactive Abstract Machine"],"short-title":[],"issued":{"date-parts":[[2021,4,13]]},"references-count":42,"alternative-id":["10.1145\/3451148.3458644","10.1145\/3451148"],"URL":"https:\/\/doi.org\/10.1145\/3451148.3458644","relation":{},"subject":[],"published":{"date-parts":[[2021,4,13]]}}}