Distributed systems, FLP, CAP, Spanner, protocols etc.

[vital_sol]

Distributed Computing
Problems with simultaneity in distributed systems
by Justin Sheehy

http://queue.acm.org/detail.cfm?id=2745385