Specifying and Deriving Parallel Algorithms

This chapter contains sections titled: Horizontal and vertical parallelism, Divide-and-conquer parallelism, Pipeline parallelism, The Kahn principle, Parameter-dependent process networks, Infinite process networks, Process networks as hardware descriptions, Divide-and-conquer using a process network, Application to ray tracing, Conclusions, Pointers into the literature