Totally Ordered (Atomic) Broadcast
Validity
Agreement
Total Order
Solved with
consensus-problem