Books

Theory in Programming Practice  July 2004
A book that contains the modules taught in CS 337.

A Discipline of Multiprogramming, Springer-Verlag, 2001. A few chapters are here.

Parallel Program Design: A Foundation, K. Mani Chandy and Jayadev Misra,
Addison-Wesley, 1988.