April 2024
Intermediate to advanced
200 pages
3h 56m
English
This chapter introduces the modeling and verification of parallel programming patterns.
Patterns; Parallelism; Parallel Programming
In this chapter, we will introduce the modeling of parallel programming patterns [15] by use of APTC and guarded APTC.
The Fork-Join pattern forks the control flow into several ones, and rejoins later, as Fig. 8.1 shows. In Fig. 8.1, the clause
forks into
, , and , and later joins as .