Weak Byzantine Generals

Definition

A definition from NO_ITEM_DATA:lamportByzantineGeneralsTransaction

A Weak Byzantine Generals protocol satisfies the following two conditions:
\begin{itemize}
  \item If no process fails and all processes initially choose the same action, then that is the final action taken by all processes.
  \item Any two processes that do not fail take the same final action.
\end{itemize}

The original definition is here: The Weak Byzantine Generals Problem. L. Lamport. 1983