{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:02:08Z","timestamp":1725483728143},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678236"},{"type":"electronic","value":"9783540449294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44929-9_48","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T09:20:53Z","timestamp":1178356853000},"page":"619-623","source":"Crossref","is-referenced-by-count":1,"title":["On the Power of Interactive Computing"],"prefix":"10.1007","author":[{"given":"Jan","family":"van Leeuwen","sequence":"first","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Wiedermann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"48_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-79235-9","volume-title":"Structural complexity","author":"J.L. Balc\u00e1zar","year":"1995","unstructured":"J.L. Balc\u00e1zar, J. Diaz, and J. G\u00e1barro. Structural complexity, Vol. I, 2nd edition, Springer-Verlag, Berlin, 1995.","edition":"2nd edition"},{"key":"48_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0701-6","volume-title":"Complexity of real computation","author":"L. Blum","year":"1998","unstructured":"L. Blum, F. Cucker, M. Shub and S. Smale. Complexity of real computation, Springer-Verlag, New York, NY, 1998."},{"key":"48_CR3","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/251595.251600","volume":"32-1","author":"L. Cardelli","year":"1997","unstructured":"L. Cardelli. Global computation, A CM Sigplan Notices 32-1 (1997) 66\u201368.","journal-title":"A CM Sigplan Notices"},{"key":"48_CR4","volume-title":"Stanford Encyclopedia of Philosophy","author":"B.J. Copeland","year":"1997","unstructured":"B.J. Copeland. The Church-Turing thesis, in:E.N. Zalta, Stanford Encyclopedia of Philosophy, Center for the Study of Language and Information (CSLI), Stanford University, Stanford, CA, \n                    http:\/\/plato.stanford.edu\/entries\/church-turing\/\n                    \n                  , 1997."},{"key":"48_CR5","volume-title":"The grid: blueprint for a new computing infrastructure","author":"I. Foster","year":"1998","unstructured":"I. Foster and C. Kesselman. The grid: blueprint for a new computing infrastructure, Morgan-Kaufmann Publ., San Francisco, 1998"},{"key":"48_CR6","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":"48_CR7","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."},{"issue":"1","key":"48_CR8","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/151233.151240","volume":"36","author":"R. Milner","year":"1993","unstructured":"R. Milner. Elements of interaction, C.ACM36:1 (1993) 78\u201389.","journal-title":"C.ACM"},{"key":"48_CR9","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":"48_CR10","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":"48_CR11","first-page":"561","volume-title":"The Universal Turing Machine-A Half-Century Survey","author":"U. Sch\u00f6ning","year":"1988","unstructured":"U. Sch\u00f6ning. Complexity theory and interaction, in: R. Herken(Ed.), The Universal Turing Machine-A Half-Century Survey, Oxford University Press, Oxford, 1988, pp. 561\u2013580."},{"key":"48_CR12","first-page":"581","volume-title":"The Universal Turing Machine-A Half-Century Survey","author":"J.C. Shepherdson","year":"1988","unstructured":"J.C. Shepherdson. Mechanisms for computing over arbitrary structures, in: R. Herken (Ed.), The Universal Turing Machine-A Half-Century Survey, Oxford University Press, Oxford, 1988, pp. 581\u2013601."},{"key":"48_CR13","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1126\/science.268.5210.545","volume":"268","author":"H.T. Siegelmann","year":"1995","unstructured":"H.T. Siegelmann. Computations beyond the Turing limit, Science 268 (1995) 545\u2013548.","journal-title":"Science"},{"key":"48_CR14","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/978-3-642-59126-6_6","volume-title":"Handbook of Formal Languages, Vol. 3: Beyond Words","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":"48_CR15","first-page":"135","volume-title":"Handbook of Theoretical Computer Science, Vol. B: Models and Semantics","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":"48_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-48321-7_4","volume-title":"Proc. 12th International Symposium (FCT\u201999)","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":"48_CR17","series-title":"Techn. Rep. Institute of Computer Science","volume-title":"Breaking the Turing barrier: the case of the Internet","author":"J. Leeuwen van","year":"2000","unstructured":"J. vanLeeuwen and J. Wiedermann. Breaking the Turing barrier: the case of the Internet, Techn. Rep. Institute of Computer Science, Academy of Sciences, Prague, 2000."},{"key":"48_CR18","series-title":"Techn. Rep. Dept. of Computer Science","volume-title":"A computational model of interaction","author":"J. Leeuwen van","year":"2000","unstructured":"J. vanLeeuwen and J. Wiedermann. A computational model of interaction, Techn. Rep. Dept. of Computer Science, Utrecht University, Utrecht, 2000."},{"issue":"10","key":"48_CR19","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":"48_CR20","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":"48_CR21","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":"48_CR22","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":"48_CR23","doi-asserted-by":"crossref","unstructured":"P. Wegner, D. Goldin. Coinductive 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.","DOI":"10.1016\/S1571-0661(05)80270-1"},{"key":"48_CR24","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":"48_CR25","unstructured":"P. Wegner, D.Q. Goldin. Interaction, comput ability, and Church\u2019s thesis, The Computer Journal 1999 (to appear)."}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44929-9_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T09:35:38Z","timestamp":1550309738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44929-9_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678236","9783540449294"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-44929-9_48","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}