These are guarantees, or things that remain unchanged.
Distributed Algorithms
Algorithms have invariant properties so that we can assess correctness. The two types of properties in systems algorithms are:
- Safety (nothing bad happens)
- Liveness (something good happens eventually)
These pair with System Models.