LIVENESS Node a Node B Packets out t,= time at which A first starts to transmit packet t 2 =time at which B correctly receives releases i, and increases rn to i+1 t3 =time at which SN is increased to i+1 Will prove that t, <t2 <t3 <oo. = Liveness Eytan modianoLIVENESS i i i i SN RN Node A Node B x i+1 x i+1 t t t 1 2 3 i Packets out i t1 = time at which A first starts to transmit packet i t2 = time at which B correctly receives & releases i, and increases RN to i+1 t3 = time at which SN is increased to i+1 Will prove that t1 < t2 < t3 < ∞. => Liveness Eytan Modiano 10