For those who are encountering distributed systems for the first time, it might also do you some good to look up (or use as search fodder) "Paxos".

If you want to dive even deeper "FLP" and "Leslie Lamport" should also open up a can of interesting worms