Skip to main content
SpringerLink
Log in

Control Flow and Data Flow: Concepts of Distributed Programming

International Summer School

  • Conference proceedings
  • © 1986

Overview

Editors:
  1. Manfred Broy

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Springer Study Edition (SSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
Back to top

Keywords

About this book

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.

Editors and Affiliations

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

    Manfred Broy

Bibliographic Information

  • Book Title: Control Flow and Data Flow: Concepts of Distributed Programming

  • Book Subtitle: International Summer School

  • Editors: Manfred Broy

  • Series Title: Springer Study Edition

  • DOI: https://doi.org/10.1007/978-3-642-82921-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1986

  • Softcover ISBN: 978-3-540-17082-2Published: 01 December 1986

  • eBook ISBN: 978-3-642-82921-5Published: 06 December 2012

  • Series ISSN: 0172-6234

  • Edition Number: 1

  • Number of Pages: VIII, 525

  • Number of Illustrations: 11 b/w illustrations

  • Additional Information: Originally published as volume 14 of the series: NATO ASI Series F

  • Topics: Programming Techniques, Control Structures and Microprogramming, Processor Architectures

Publish with us

Policies and ethics

Back to top

Search

Navigation