Model
Automatic or manual failover
Automatic or manual is arithmetic, not maturity.
Worked examples, recomputed
Every number the mechanisms quote for this relationship is recomputed from it, so none of them disagrees with it.
Where it appears
Each mechanism states it in its own names. The general symbol each name stands for is shown with it.
- Fault Tolerance & Delivery Semantics
What is the cheapest thing that can be safely done twice?