Parts I and II of this EdX course by Seif Haridi are great: https://www.edx.org/course/reliable-distributed-algorithms-p...