MIT 6.824: Distributed Systems by Robert Morris [video]
pdos.csail.mit.edu