Reliable Atomic Broadcast

A technology for distributed agreement.
A message is seen by all correct processors or it is seen by none.
What is a “correct” process
- it depends on what kind of discussion we want to have and what kind of assumptions we want to make.
- simplest definition (“is up’) usually appropriate