These are abstractions that describe things an algorithm can assume.
Timing
- Synchronous model
- Partially synchronous model
- Asynchronous model
Node Failures
- Crash-stop faults
- Crash-recovery faults
- Byzantine faults
Look up exactly what these are and the guarantees they provide