Byzantine-Tolerant Causal Ordering for Unicasts, Multicasts, and Broadcasts

Byzantine fault-tolerant causal ordering of messages is useful to many applications. Causal ordering requires a property that we term strong safety, and liveness. In this paper, we use execution histories to prove that it is impossible to solve causal ordering - strong safety and liveness - in a det...

Ausführliche Beschreibung