Control Flow and Data Flow: Concepts of Distributed Programming

1. Front Matter

   Pages I-VIII

   PDF

2. On the nature of computing science

   1. On the nature of computing science

      • Edsger W. Dijkstra

      Pages 1-4

3. Operational Models of Distributed Systems

   1. Front Matter

      Pages 5-6

      PDF

   2. Distributed Systems, Partial Orderings of Events, and Event Structures

      • Pierpaolo Degano, Ugo Montanari

      Pages 7-106

   3. On Mixed Computation: Informal Account of the Strict and Polyvariant Computational Schemes

      • Andrei P. Ershov

      Pages 107-120

4. Abstract Modelling of Distributed Systems

   1. Front Matter

      Pages 121-122

      PDF

   2. Notes on Communicating Sequential Systems

      • C. A. R. Hoare

      Pages 123-204

   3. Lectures on a Calculus for Communicating Systems

      • Robin Milner

      Pages 205-228

   4. Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems

      • Manfred Broy

      Pages 229-276

5. Hardware as Distributed Systems

   1. Front Matter

      Pages 277-278

      PDF

   2. The Architecture of Parallel Computers

      • Clyde P. Kruskal, Larry Rudolph, Ron Cytron

      Pages 279-344

   3. Data Flow Computation

      • Jack B. Dennis

      Pages 345-398

   4. Concurrent Computations and VLSI Circuits

      • Martin Rem

      Pages 399-437

6. Design and Verification of Distributed Systems

   1. Front Matter

      Pages 439-440

      PDF

   2. Proving Correctness of CSP Programs — A Tutorial

      • Krzysztof R. Apt

      Pages 441-474

   3. Real Time Clocks Versus Virtual Clocks

      • Krzysztof R. Apt, Jean-Luc Richier

      Pages 475-501

   4. The Image Construction in Computerized Axial Tomography (CAT)

      • Edsger W. Dijkstra

      Pages 503-506

   5. Derivation of a termination detection algorithm for distributed computations

      • Edsger W. Dijkstra, W. H. J. Feijen, A. J. M. van Gasteren

      Pages 507-512

   6. The Distributed Snapshot of K.M. Chandy and L. Lamport

      • Edsger W. Dijkstra

      Pages 513-517

   7. A simple fix-point argument without the restriction to continuity

      • Edsger W. Dijkstra, A. J. M. van Gasteren

      Pages 519-525

In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for computing sci enti sts. The foundati ons of di stributed programming compri se all the fasci nating questions of computing science: the development of adequate com putational , conceptual and semantic model s for distributed systems, specification methods, verification techniques, transformation rules, the development of suitable representations by programming languages, evaluation and execution of programs describing distributed systems. Being the 7th in a series of ASI Summer Schools at Marktoberdorf, these lectures concentrated on distributed systems. Already during the previous Summer School s at Marktoberdorf aspects of di stributed systems were important periodical topics. The rising interest in distributed systems, their design and implementation led to a considerable amount of research in this area. This is impressively demonstrated by the broad spectrum of the topics of the papers in this vol ume, although they are far from being comprehensive for the work done in the area of distributed systems. Distributed systems are extraordinarily complex and allow many distinct viewpoints. Therefore the literature on distributed systems sometimes may look rather confusing to people not working in the field. Nevertheless there is no reason for resignation: the Summer School was able to show considerable convergence in ideas, approaches and concepts for distributed systems.

• distributed programming
• distributed systems
• processor
• programming
• programming language
• verification

• Fakultät für Mathematik und Informatik, Universität Passau, Passau, Federal Republic of Germany

  Manfred Broy

Policies and ethics