Advertisement

Control Flow and Data Flow: Concepts of Distributed Programming

International Summer School

  • Manfred Broy

Part of the Springer Study Edition book series (volume 14)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. On the nature of computing science

    1. Edsger W. Dijkstra
      Pages 1-4
  3. Operational Models of Distributed Systems

  4. Abstract Modelling of Distributed Systems

  5. Hardware as Distributed Systems

    1. Front Matter
      Pages 277-278
    2. Clyde P. Kruskal, Larry Rudolph, Ron Cytron
      Pages 279-344
    3. Jack B. Dennis
      Pages 345-398
  6. Design and Verification of Distributed Systems

    1. Front Matter
      Pages 439-440
    2. Krzysztof R. Apt, Jean-Luc Richier
      Pages 475-501
    3. Edsger W. Dijkstra, W. H. J. Feijen, A. J. M. van Gasteren
      Pages 507-512
    4. Edsger W. Dijkstra, A. J. M. van Gasteren
      Pages 519-525

About these proceedings

Introduction

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.

Keywords

distributed programming distributed systems processor programming programming language verification

Editors and affiliations

  • Manfred Broy
    • 1
  1. 1.Fakultät für Mathematik und InformatikUniversität PassauPassauFederal Republic of Germany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-82921-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-17082-2
  • Online ISBN 978-3-642-82921-5
  • Buy this book on publisher's site