As a supplement to these I would also recommend checking out the lecture notes for 15-440, the intro distributed systems class. I took it spring of 2013 and thought it gave me a really good grounding in the material.
http://www.andrew.cmu.edu/course/15-440-f14/index/lecture_in...