This chapter offers a rough sketch of the landscape of computing with the specific aim of identifying and interrelating well-established topics such as computability and concurrency to newer areas such as interaction and composition of behavior.


Turing Machine Message Passing Concurrent System Active Entity Mechanical Operation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Thornton, J.: Design of a Computer: The Control Data 6600. Scott, Foresman and Company, 1970.Google Scholar
  2. 2.
    Penrose, R.: The Emperor’s New Mind. Oxford University Press, 1990.Google Scholar
  3. 3.
    Wegner, P.: Interaction as a basis for empirical computer science. ACM Computing Surveys 27, 1995, pp. 45–48.CrossRefGoogle Scholar
  4. 4.
    Wegner, P.: Interactive foundations of computing. Theoretical Computer Science 192, 1998, pp. 315–351.zbMATHMathSciNetCrossRefGoogle Scholar
  5. 5.
    Wegner, P., Goldin, D.: Computation beyond Turing machines. Communications of the ACM 46, 2003.Google Scholar
  6. 6.
    Wegner, P., Goldin, D.: Coinductive models of finite computing agents. In: Proc. Coalgebraic Methods in Computer Science (CMCS). Volume 19 of Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, 1999.Google Scholar
  7. 7.
    van Leeuwen, J., Wiedermann, J.: On the power of interactive computing. In van Leeuwen, J., Watanabe, O., Hagiya, M., Mosses, P.D., Ito, T., eds.: Proceedings of the 1st International Conference on Theoretical Computer Science — Exploring New Frontiers of Theoretical Informatics, IFIP TCS’2000 (Sendai, Japan, August 17–19, 2000. Volume 1872 of LNCS. Springer-Verlag, Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo, 2000, pp. 619–623.Google Scholar
  8. 8.
    van Leeuwen, J., Wiedermann, J.: Beyond the turing limit: Evolving interactive systems. In Pacholski, L., Ruicka, P., eds.: SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics. Volume 2234 of Lecture Notes in Computer Science. Springer-Verlag, 2001, pp. 90–109.Google Scholar
  9. 9.
    Wegner, P., Goldin, D.: Interaction, computability, and church’s thesis. British Computer Journal, 2005 (to appear).Google Scholar
  10. 10.
    van Leeuwen, J., Wiedermann, J.: A Theory of Interactive Computation. In: Smolka, S., Wegner, P., eds.: Interactive Computation: The New Paradigm. Springer-Verlag [24], 2006.Google Scholar
  11. 11.
    Goldin, D., Smolka, S., Attie, P., Sonderegger, E.: Turing machines, transition systems, and interaction. Information and Computation Journal 194, 2004, pp. 101–128.zbMATHMathSciNetCrossRefGoogle Scholar
  12. 12.
    Hoare, C.: Communicating Sequential Processes. Communications of the ACM 21, 1978.Google Scholar
  13. 13.
    Hoare, C.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice-Hall, 1985.Google Scholar
  14. 14.
    Milner, R.: Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall, 1989.Google Scholar
  15. 15.
    Bergstra, J., Klop, J.: Process algebra for synchronous communication. Information and Control 60, 1984, pp. 109–137.zbMATHMathSciNetCrossRefGoogle Scholar
  16. 16.
    Milner, R.: Elements of interaction. Communications of the ACM 36, 1993, pp. 78–89.CrossRefGoogle Scholar
  17. 17.
    INMOS Ltd.: OCCAM 2, Reference Manual. Series in Computer Science. Prentice-Hall, 1988.Google Scholar
  18. 18.
    Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Computer Networds and ISDN Systems 14, 1986, pp. 25–59.CrossRefGoogle Scholar
  19. 19.
    (PVM) Scholar
  20. 20.
    (MPI) Scholar
  21. 21.
    (CORBA) Scholar
  22. 22.
    Papadopoulos, G., Arbab, F.: Coordination models and languages. In Zelkowitz, M., ed.: Advances in Computers — The Engineering of Large Systems. Volume 46. Academic Press, 1998, pp. 329–400.Google Scholar
  23. 23.
    Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14, 2004, pp. 329–366.zbMATHMathSciNetCrossRefGoogle Scholar
  24. 24.
    Goldin, D., Smolka, S., Wegner, P., eds.: Interactive Computation: The New Paradigm. Springer-Verlag, 2006 (this volume).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Farhad Arbab
    • 1
    • 2
  1. 1.Center for Mathematics and Computer Science (CWI)AmsterdamThe Netherlands
  2. 2.Leiden UniversityLeidenThe Netherlands

Personalised recommendations