Communication and agreement abstractions for fault-tolerant distributed systems. - Morgan & Claypool Publishers, 2010. - ( Synthesis Lectures on Distributed Computing Theory ).