KTH ID2203 Distributed Systems, Advanced Course, with Youtube video lectures http://www.ict.kth.se/courses/ID2203/video_lectures.html

By Seif Haridi, who co-authored 'Concepts, Techniques, and Models of Computer Programming' which is well regarded among functional programmers.