Carlos A. Varela, Programming Distributed Computing Systems -- A Foundational Approach, MIT Press, Cambridge, MA:May 2013
(Available from Amazon and MIT Press).
Slides
Slides for Chapter 2-6 are available here. You can also download all the slides in one tarball
