Faulty channels 12 ? Optimalizácia
Z (I1) pre P3 máme
ak cr ? null tak kr ? head(cr).dex ? kr + 1
teda
kr ? head(cr).dex ? (kr mod 2 ? [head(cr).dex] mod 2)
ks = head(acks) ? (ks mod 2 = head(acks) mod 2)
P3 môze byt zjednodušené tak, ze nahradíme kr, ks nasledujúcimi: kr mod 2, ks mod 2
dostávame Alternating Bit Protocol