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.