I'm reading several papers about different broadcast algorithms. Most of them are designed for crash stop model but they also consider contamination scenarios.
For example for a Causal Atomic Broadcast when a faulty process fails to delivers messages in order and then starts broadcasting other messages based on its inconsistent state which causes inconsistent state in other correct processes.
The above is just an example why a specific process could have such a weird behavior although our failure model is crash stop. Follwoing paper describes it more.
A Modular Approach to Fault-tolerant Broadcasts and Related Problems. V. Hadzilacos and S. Toueg, Distributed Systems, 97-145, 1993.
See here section 3.11 (page 22) for more sophisticated example. This is really confusing to me. Why do we don't consider this type of failure as byzantine failures? In crash stop model a single failure should result in a crash. A faulty process can NOT continue to run without crashing. What am I missing?