A global name service for a highly mobile internetwork
The part-time parliament