Ebook: Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

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.

---

---

Content:
Front Matter....Pages I-VIII
On the nature of computing science....Pages 1-4
Front Matter....Pages 5-6
Distributed Systems, Partial Orderings of Events, and Event Structures....Pages 7-106
On Mixed Computation: Informal Account of the Strict and Polyvariant Computational Schemes....Pages 107-120
Front Matter....Pages 121-122
Notes on Communicating Sequential Systems....Pages 123-204
Lectures on a Calculus for Communicating Systems....Pages 205-228
Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems....Pages 229-276
Front Matter....Pages 277-278
The Architecture of Parallel Computers....Pages 279-344
Data Flow Computation....Pages 345-398
Concurrent Computations and VLSI Circuits....Pages 399-437
Front Matter....Pages 439-440
Proving Correctness of CSP Programs — A Tutorial....Pages 441-474
Real Time Clocks Versus Virtual Clocks....Pages 475-501
The Image Construction in Computerized Axial Tomography (CAT)....Pages 503-506
Derivation of a termination detection algorithm for distributed computations....Pages 507-512
The Distributed Snapshot of K.M. Chandy and L. Lamport....Pages 513-517
A simple fix-point argument without the restriction to continuity....Pages 519-525

---

Content:
Front Matter....Pages I-VIII
On the nature of computing science....Pages 1-4
Front Matter....Pages 5-6
Distributed Systems, Partial Orderings of Events, and Event Structures....Pages 7-106
On Mixed Computation: Informal Account of the Strict and Polyvariant Computational Schemes....Pages 107-120
Front Matter....Pages 121-122
Notes on Communicating Sequential Systems....Pages 123-204
Lectures on a Calculus for Communicating Systems....Pages 205-228
Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems....Pages 229-276
Front Matter....Pages 277-278
The Architecture of Parallel Computers....Pages 279-344
Data Flow Computation....Pages 345-398
Concurrent Computations and VLSI Circuits....Pages 399-437
Front Matter....Pages 439-440
Proving Correctness of CSP Programs — A Tutorial....Pages 441-474
Real Time Clocks Versus Virtual Clocks....Pages 475-501
The Image Construction in Computerized Axial Tomography (CAT)....Pages 503-506
Derivation of a termination detection algorithm for distributed computations....Pages 507-512
The Distributed Snapshot of K.M. Chandy and L. Lamport....Pages 513-517
A simple fix-point argument without the restriction to continuity....Pages 519-525
....