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

Focuses on theory results that are applicable to real systems and analyzes those systems.