Turing, Computing and Communication; Computing and Interaction; Principles of Interactive Computation; A Theory of System Interaction: Components, Interfaces, and Services; Verification of Open Systems; A Theory of Interactive Computation; Online Algorithms; Interactive Algorithms 2005 with Added Appendix; Computability Logic: A Formal Theory of Interaction; Human-Computer Interaction; Modeling Web Interactions and Errors; Composition of Interacting Computations; From Information-Centric to Experiential Environments
Summary
Challenges traditional Turing machine-based answers to fundamental questions relating to problem solving and the scope of computation. Assuming the reader has only an undergraduate-level background in computer science, this book serves as an introduction to this important discipline