How to use these lessons
- Built from the course slide decks. Foundations (computation in space/time, dependability,
consistency, process algebra) plus applied topics (CAP, consensus, logical clocks, code mobility, k8s).
- Interactive steppers for clocks, consensus and recovery. Study aid, not an official source.