Is this example of a Livelock situation correct?

Printable View