RT DF A1 Hodsdon, Christopher Charles.Computer Science. T1 Stronger Abstractions and Performance Guarantees for Building Strongly Consistent Distributed Services- [electronic resource]