| Brush up OS |
|
| Cache, Lease, Consistency, Invalidation |
|
| State Machine Replication Approach |
|
| Lamport Clocks, Vector Clocks |
|
| Distributed System Reference Guide |
|
| "Why do computers stop and what can be done about it?" |
|
| "Introduction to Distributed System Design" |
|