Disjoint Parallel Programs
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.
KeywordsAuxiliary Variable Parallel Program Proof System Infinite Sequence Parallel Composition
Unable to display preview. Download preview PDF.