A Calculus of Distributed and Parallel Processes

1. Front Matter

   Pages 1-11

   PDF

2. Introduction

   • Clemens H. Cap

   Pages 13-26

3. Transition Systems

   • Clemens H. Cap

   Pages 27-58

4. Distributed Transition Systems

   • Clemens H. Cap

   Pages 59-116

5. Higher Order Transition Systems

   • Clemens H. Cap

   Pages 117-132

6. Process Specification Formalisms

   • Clemens H. Cap

   Pages 133-151

7. Examples

   • Clemens H. Cap

   Pages 153-199

8. Categorical Interpretations

   • Clemens H. Cap

   Pages 201-207

9. Conclusions, Challenges, and Opportunities

   • Clemens H. Cap

   Pages 209-224

10. Back Matter

    Pages 225-328

    PDF

It is the good reader that makes the good book. RALPH WALDO EMERSON, Society & Solitude. In the course of two projects, the author of this book was involved in the design of the platforms PARFORM [CS93) and LOLA [Cap94), [CS) for the support of parallel computing in distributed systems. The former system was geared towards the highly efficient use of idle resources in networks of workstations, and the latter system was intended as a scalability study: How many workstations in the global Internet can be used simultaneously for solving a massively parallel problem? In one of the experiments conducted with these systems, up to 800 workstations on all five continents were cooperating for the solution of a search problem from molecular biology [Cap94). The most important lessons which the author was forced to learn during the course of these projects were not to rely on any documentation of network-and low-level system-calls, to use neither common sense nor mathematical logic during the design of a large distributed system, but to be happy with a working program, and not to ask, why it would work.

• Informatik
• Prozesse
• distributed systems
• logic
• programming

• Universität Rostock, Germany

  Clemens H. Cap

Prof.Dr. Clemens H. Cap, Universität Rostock

Policies and ethics