Distributed Systems for Fun and Profit is pretty good: http://book.mixu.net/distsys/single-page.html http://book.mixu.net/distsys/single-page.html. Focuses on

Distributed Systems for Fun and Profit is pretty good: http://book.mixu.net/distsys/single-page.html http://book.mixu.net/distsys/single-page.html. Focuses on theory results that are applicable to real systems and analyzes those systems.