Interactive Computation

The New Paradigm

  • Dina Goldin
  • Scott A. Smolka
  • Peter Wegner

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Introduction

    1. Front Matter
      Pages XV-XV
    2. Robin Milner
      Pages 1-8
    3. Farhad Arbab
      Pages 9-23
    4. Dina Goldin, Peter Wegner
      Pages 25-37
  3. Theory

    1. Front Matter
      Pages 39-39
    2. Orna Kupferman, Moshe Y. Vardi
      Pages 97-117
    3. Jan van Leeuwen, Jiří Wiedermann
      Pages 119-142
    4. Susanne Albers
      Pages 143-164
  4. Applications

    1. Front Matter
      Pages 225-225
    2. Michel Beaudouin-Lafon
      Pages 227-254
    3. Shriram Krishnamurthi, Robert Bruce Findler, Paul Graunke, Matthias Felleisen
      Pages 255-275
    4. Farhad Arbab
      Pages 277-321
    5. Rahul Singh, Ramesh Jain
      Pages 323-351
  5. New Directions

    1. Front Matter
      Pages 393-393
    2. Andrea Omicini, Alessandro Ricci, Mirko Viroli
      Pages 395-414

About this book

Keywords

Concurrency Models Turing machine algorithm algorithms communication computability computer science concurrency human-computer interaction (HCI) information modeling network online user interface verification

Editors and affiliations

  • Dina Goldin
    • 1
  • Scott A. Smolka
    • 2
  • Peter Wegner
    • 1
  1. 1.Computer Science DepartmentBrown UniversityProvidenceUSA
  2. 2.Department of Computer ScienceState University of New York at Stony BrookStony BrookUSA

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-34874-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-34666-1
  • Online ISBN 978-3-540-34874-0
  • About this book