Disjoint Parallel Programs

  • Krzysztof R. Apt
  • Ernst-Rüdiger Olderog
Part of the Graduate Texts in Computer Science book series (TCS)


As we have seen in Chapter 1, concurrent programs can be quite difficult to understand in detail. That is why we introduce and study them in several stages. In this part of the book we study parallel programs, and in this chapter we investigate disjoint parallelism, the simplest form of parallelism. Disjointness means here that the component programs have only reading access to common variables.


Auxiliary Variable Parallel Program Proof System Infinite Sequence Parallel Composition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1997

Authors and Affiliations

  • Krzysztof R. Apt
    • 1
  • Ernst-Rüdiger Olderog
    • 2
  1. 1.Centrum voor Wiskunde en InformaticaStichling Mathematisch CentrumAmsterdamThe Netherlands
  2. 2.Fachbereich 10-Theoretische InformatikChristian Albrechts UniversityOldenburgGermany

Personalised recommendations