On the power of interactive computing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1872 LNCS, Issue , 2000, Pages 619-623

  Van Leeuwen, Jan ^a   Wiedermann, Jiri ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b INSTITUTE OF MATHEMATICS   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CHURCH-TURING THESIS; COMPUTATIONAL SYSTEM; GLOBAL COMPUTING; INTERACTIVE COMPUTING;

TURING MACHINES;

EID: 77954214243     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44929-9_48     Document Type: Conference Paper

References (15)

1. J.L. Balcazar, J. Diaz, and J. Gabarro. Structural complexity, Vol. I, 2nd edition, Springer-Verlag, Berlin, 1995.
2. L. Blum, F. Cucker, M. Shub and S. Smale. Complexity of real computation, Springer-Verlag, New York, NY, 1998.
3. L. Cardelli. Global computation, ACM Sigplan Notices 32-1 (1997) 66-68.
4. 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, http://plato.stanford.edu/entries/ church-turing/, 1997.
5. I. Foster and C. Kesselman. The grid: blueprint for a new computing infrastructure, Morgan-Kaufmann Publ., San Francisco, 1998
6. 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-135.
7. R. Milner. A calculus of communicating systems, Lecture Notes in Computer Science, Vol. 92, Springer-Verlag, Berlin, 1980.
8. R. Milner. Elements of interaction, C.ACM 36:1 (1993) 78-89.
9. 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-858.
10. M. Prasse, P. Rittgen. Why Church's Thesis still holds. Some notes on Peter Wegner's tracts on interaction and computability, The Computer Journal 41 (1998) 357-362.
11. U. Schöning. Complexity theory and interaction, in: R. Herken (Ed.), The Universal Turing Machine-A Half-Century Survey, Oxford University Press, Oxford, 1988, pp. 561-580.
12. 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-601.
13. H.T. Siegelmann. Computations beyond the Turing limit, Science 268 (1995) 545-548.
14. L. Staiger. !-Languages, in: G. Rozenberg and A. Salomaa (Eds.), Handbook of Formal Languages, Vol. 3: Beyond Words, Chapter 6, Springer-Verlag, Berlin, 1997, pp. 339-387.
15. W. Thomas. Automata on innite objects, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B: Models and Semantics, Elsevier Science Publishers, Amsterdam, 1990, pp. 135-191.