A Systematic Approach to Parallel Algorithms
Vijay K. Garg,

In this forthcoming book, I show that many parallel (and sequential) algorithms can be derived in a systematic manner. In our approach, a problems is cast as searching for an element satisfying an appropriate predicate in a distributive lattice. Multiple processes cooperate to determine the element. Our method solves and generalizes many classical combinatorial optimization problems including:

These results are in the following publications: A very rough draft of the book is available here. pdf