Ken Birman's new text, Reliable Distributed Systems, has just been released:
http://www.springeronline.com/sgw/cda/frontpage/0,11855,4-40290-22-43949072-0,00.html?changeHeader=true

The book reflects Ken's sweeping knowledge of the area and his experience teaching CS 514, Intermediate Computer Systems.