InhaltsangabeTuring, Computing and Communication.- Computing and Interaction.- Principles of Interactive Computation.- Theory.- 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.- Applications.- Human-Computer Interaction.- Modeling Web Interactions and Errors.- Composition of Interacting Computations.- From Information-Centric to Experiential Environments.- Modeling and Simulation of Large Biological, Information and Socio-Technical Systems: An Interaction Based Approach.- New Directions.- The Multidisciplinary Patterns of Interaction from Sciences to Computer Science.- Coordination.- Social Interaction, Knowledge, and Social Software.- Interaction, Computation, and Education.

Part I Introduction: Turing, Computing and Communication (Robin Milner) - Computing and Interaction (Farhad Arbab) - Principles of Interactive Computation (Dina Goldin, Peter Wegner).- Part II Theory: A Theory of System Interaction: Components, Interfaces, and Services (Manfred Broy) - Verification of Open Systems (Orna Kupferman, Moshe Y. Vardi) - A Theory of Interactive Computation (Jan van Leeuwen, Jiri Wiedermann) - Online Algorithms (Susanne Albers) - Interactive Algorithms 2005 (Yuri Gurevich) - Computability Logic: A Formal Theory of Interaction (Giorgi Japardize).- Part III Applications: Human-Computer Interaction (Michel Beaudouin-Lafon) - Modeling Web Interactions and Errors (Shiram Krishnamurthi et.al.) - Composition of Interacting Computations (Farhab Arbab) - From Information-Centric to Experimental Environments (Rahul Singh, Ramesh Jain) - Modeling and Simulation of Large Biological, Information and Socio-Temporal Systems: An Interaction Based Approach (Chris Barrett et.al.).- Part IV New Directions: The Multi-Disciplinary Patterns of Interaction from Sciences to Computer Science (Andrea Omicini et.al.) - Coordination (Peter J. Denning, Thomas W. Malone) - Social Interaction, Knowledge, and Social Software (Eric Pacuit, Rohit Parikh) - Interaction, Computation, and Education (Lynn Andrea Stein).