39
Probabilistic Livelock Freedom
A router is
probabilistically livelock free if the probability that a packet remains in the
network after t seconds goes to 0 as t increases
•Probabilistically
livelock free »
deterministic in practice
time
The proof requires a probabilistic argument