Complexity theory and interaction
A half-century survey on The Universal Turing Machine
Mechanisms for computing over arbitrary structures
A half-century survey on The Universal Turing Machine
Handbook of theoretical computer science (vol. B)
Elements of interaction: Turing award lecture
Communications of the ACM
Interaction as a basis for empirical computer science
ACM Computing Surveys (CSUR)
ACM SIGPLAN Notices
Why interaction is more powerful than algorithms
Communications of the ACM
Complexity and real computation
Complexity and real computation
Handbook of formal languages, vol. 3
Interactive foundations of computing
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
The grid: blueprint for a new computing infrastructure
The grid: blueprint for a new computing infrastructure
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Persistent Turing Machines as a Model of Interactive Computation
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Hi-index | 0.00 |
In a number of recent studies the question has arisen whether the familiar Church-Turing thesis is still adequate to capture the powers and limitations of modern computational systems. In this presentation we review two developments that may lead to an extension of the classical Turing machine paradigm: interactiveness, and global computing.