{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:02:35Z","timestamp":1725483755034},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679011"},{"type":"electronic","value":"9783540446125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44612-5_7","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T13:28:20Z","timestamp":1178371700000},"page":"99-113","source":"Crossref","is-referenced-by-count":10,"title":["On Algorithms and Interaction"],"prefix":"10.1007","author":[{"given":"Jan","family":"van Leeuwen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji\u0159\u00ed","family":"Wiedermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"7_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-49477-4_2","volume-title":"SOFSEM\u201998: Theory and Practice of Informatics","author":"M. Broy","year":"1998","unstructured":"M. Broy. A logical basis for modular software and systems engineering, in: B. Rovan (Ed.), SOFSEM\u201998: Theory and Practice of Informatics, Proc. 25th Conference on Current Trends, Lecture Notes in Computer Science, Vol. 1521, Springer-Verlag, Berlin, 1998, pp. 19\u201335."},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(78)90002-6","volume":"6","author":"R.S. Cohen","year":"1978","unstructured":"R.S. Cohen, A.Y. Gold. \u03c9-Computations on Turing machines, Theor. Comput. Sci. 6 1978 1\u201323.","journal-title":"Theor. Comput. Sci."},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(93)90349-X","volume":"110","author":"J. Engelfriet","year":"1993","unstructured":"J. Engelfriet, H.J. Hoogeboom. X-automata on \u03c9-words, Theor. Comput. Sci. 110 1993 1\u201351.","journal-title":"Theor. Comput. Sci."},{"key":"7_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/3-540-46564-2_8","volume-title":"Foundations of Information and Knowledge Systems","author":"D.Q. Goldin","year":"2000","unstructured":"D.Q. Goldin. Persistent Turing machines as a model of interactive computation, in: K-D. Schewe and B. Thalheim (Eds.), Foundations of Information and Knowledge Systems, Proc. First Int. Symposium (FoIKS 2000), Lecture Notes in Computer Science, vol. 1762, Springer-Verlag, Berlin, 2000, pp. 116\u2013135."},{"key":"7_CR5","unstructured":"D. Goldin, P. Wegner. Persistence as a form of interaction, Techn. Rep. CS-98-07, Dept. of Computer Science, Brown University, Providence, RI, 1998."},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"114","DOI":"10.4064\/fm-8-1-114-134","volume":"8","author":"D. K\u00f6nig","year":"1926","unstructured":"D. K\u00f6nig. Sur les correspondances multivoques des ensembles, Fundam. Math. 8 1926 114\u2013134.","journal-title":"Fundam. Math"},{"key":"7_CR7","first-page":"121","volume":"3","author":"D. K\u00f6nig","year":"1927","unstructured":"D. K\u00f6nig. \u00dcber eine Schlussweise aus dem Endlichen ins Unendliche (Punktmengen.-Kartenf\u00e4rben.-Verwantschaftsbeziehungen.-Schachspiel), Acta Litt. Sci. (Sectio Sci. Math.) 3 1927 121\u2013130.","journal-title":"Acta Litt. Sci. (Sectio Sci. Math.)"},{"key":"7_CR8","unstructured":"S. Kosub. Persistent computations, Technical Report No. 217, Institut f\u00fcr Informatik, Julius-Maximilians-Universit\u00e4t W\u00fcrzburg, 1998."},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/BF01191722","volume":"30","author":"Z. Manna","year":"1993","unstructured":"Z. Manna, A. Pnueli. Models for reactivity, Acta Informatica 30 1993 609\u2013678.","journal-title":"Acta Informatica"},{"key":"7_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A calculus of communicating systems, Lecture Notes in Computer Science, Vol. 92, Springer-Verlag, Berlin, 1980."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"R. Milner. Elements of interaction, C.ACM 36:1 1993 78\u201389.","DOI":"10.1145\/151233.151240"},{"key":"7_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1007\/BFb0027047","volume-title":"Current Trends in Concurrency","author":"A. Pnueli","year":"1986","unstructured":"A. Pnueli. Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends, in: J.W. de Bakker, W.-P. de Roever and G. Rozenberg, Current Trends in Concurrency, Lecture Notes in Computer Science, Vol. 224, Springer-Verlag, Berlin, 1986, pp. 510\u2013585."},{"key":"7_CR13","first-page":"845","volume-title":"Information Processing 86","author":"A. Pnueli","year":"1986","unstructured":"A. Pnueli. Specification and development of reactive systems, in: H.-J. Kugler (Ed.), Information Processing 86, Proceedings IFIP 10th World Computer Congress, Elsevier Science Publishers (North-Holland), Amsterdam, 1986, pp. 845\u2013858."},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1093\/comjnl\/41.6.357","volume":"41","author":"M. Prasse","year":"1998","unstructured":"M. Prasse, P. Rittgen. Why Church\u2019s Thesis still holds. Some notes on Peter Wegner\u2019s tracts on interaction and computability, The Computer Journal 41 1998 357\u2013362.","journal-title":"The Computer Journal"},{"key":"7_CR15","series-title":"Beyond Words","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/978-3-642-59126-6_6","volume-title":"Handbook of Formal Languages","author":"L. Staiger","year":"1997","unstructured":"L. Staiger. \u03c9-Languages, in: G. Rozenberg and A. Salomaa (Eds.), Handbook of Formal Languages, Vol. 3: Beyond Words, Chapter 6, Springer-Verlag, Berlin, 1997, pp. 339\u2013387."},{"key":"7_CR16","series-title":"Models and Semantics","first-page":"135","volume-title":"Handbook of Theoretical Computer Science","author":"W. Thomas","year":"1990","unstructured":"W. Thomas. Automata on infinite objects, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B: Models and Semantics, Elsevier Science Publishers, Amsterdam, 1990, pp. 135\u2013191."},{"key":"7_CR17","series-title":"Beyond Words, Chapter","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/978-3-642-59126-6_7","volume-title":"Handbook of Formal Languages","author":"W. Thomas","year":"1997","unstructured":"W. Thomas. Languages, automata, and logic, in: G. Rozenberg and A. Salomaa (Eds.), Handbook of Formal Languages, Vol. 3: Beyond Words, Chapter, Springer-Verlag, Berlin, 1997, pp. 389\u2013455."},{"key":"7_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/3-540-48321-7_4","volume-title":"Fundamentals of Computation Theory","author":"B.A. Trakhtenbrot","year":"1999","unstructured":"B.A. Trakhtenbrot. Automata and their interaction: definitional suggestions, in: G. Ciobanu and G. P\u0103un (Eds.), Fundamentals of Computation Theory, Proc. 12th International Symposium (FCT\u201999), Lecture Notes in Computer Science, Vol. 1684, Springer-Verlag, Berlin, 1999, pp. 54\u201389."},{"key":"7_CR19","volume-title":"Technical Report","author":"J. Leeuwen van","year":"2000","unstructured":"J. van Leeuwen, J. Wiedermann. A computational model of interaction, Technical Report, Dept of Computer Science, Utrecht University, Utrecht, 2000."},{"key":"7_CR20","volume-title":"Technical Report","author":"J. Leeuwen van","year":"2000","unstructured":"J. van Leeuwen, J. Wiedermann. Breaking the Turing barrier: the case of the Internet, Technical Report, Inst. of Computer Science, Academy of Sciences, Prague, 2000."},{"key":"7_CR21","volume-title":"Mathematics Unlimited-2001 and Beyond","author":"J. Leeuwen van","year":"2000","unstructured":"J. van Leeuwen, J. Wiedermann. Extending the Turing Machine Paradigm, in: B. Engquist and W. Schmidt (Eds.), Mathematics Unlimited-2001 and Beyond, Springer-Verlag, Berlin, 2000 (to appear)."},{"key":"7_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"532","DOI":"10.1007\/3-540-08442-8_125","volume-title":"Fundamentals of Computation Theory","author":"K. Wagner","year":"1977","unstructured":"K. Wagner, L. Staiger. Recursive \u03c9-languages, in: M. Karpinsky (Ed.), Fundamentals of Computation Theory, Proc. 1977 Int. FCT-Conference, Lecture Notes in Computer Science, Vol. 56, Springer-Verlag, Berlin, 1977, pp. 532\u2013537."},{"issue":"10","key":"7_CR23","first-page":"70","volume":"28","author":"P. Wegner","year":"1995","unstructured":"P. Wegner. Interactive foundations of object-based programming, IEEE Computer 28:10 1995 70\u201372.","journal-title":"IEEE Computer"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/214037.214092","volume":"27","author":"P. Wegner","year":"1995","unstructured":"P. Wegner. Interaction as a basis for empirical computer science, Comput. Surv. 27 1995 45\u201348.","journal-title":"Comput. Surv"},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"P. Wegner","year":"1997","unstructured":"P. Wegner. Why interaction is more powerful than algorithms, C.ACM 40 1997 80\u201391.","journal-title":"C.ACM"},{"key":"7_CR26","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/S0304-3975(97)00154-0","volume":"192","author":"P. Wegner","year":"1998","unstructured":"P. Wegner. Interactive foundations of computing, Theor. Comp. Sci. 192 1998 315\u2013351.","journal-title":"Theor. Comp. Sci"},{"key":"7_CR27","unstructured":"P. Wegner, D. Goldin. Co-inductive models of finite computing agents, in: B. Jacobs and J. Rutten (Eds.), CMCS\u201999-Coalgebraic Methods in Computer Science, TCS: Electronic Notes in Theoretical Computer Science, Vol. 19, Elsevier, 1999."},{"key":"7_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/3-540-48854-5_19","volume-title":"Conceptual Modeling-Current Issues and Future Directions","author":"P. Wegner","year":"1999","unstructured":"P. Wegner, D. Goldin. Interaction as a framework for modeling, in: P. Chen et al. (Eds.), Conceptual Modeling-Current Issues and Future Directions, Lecture Notes in Computer Science, Vol. 1565, Springer-Verlag, Berlin, 1999, pp 243\u2013257."},{"key":"7_CR29","unstructured":"P. Wegner, D.Q. Goldin. Interaction, comput ability, and Church\u2019s thesis, The Computer Journal 1999 (to appear)."},{"key":"7_CR30","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The formal semantics of programming languages: an introduction","author":"G. Winskel","year":"1993","unstructured":"G. Winskel. The formal semantics of programming languages: an introduction, The MIT Press, Cambridge (Mass.), 1993."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44612-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,21]],"date-time":"2020-04-21T19:15:07Z","timestamp":1587496507000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44612-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679011","9783540446125"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-44612-5_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}