//Het Alternating Bit Protocol (ABP)
//
//Model door Frits Vaandrager op 12/11/09
chan in0, in1, sendframe00, sendframe01, sendframe10, sendframe11,
receiveframe00, receiveframe01, receiveframe10, receiveframe11,
sendack0, sendack1, receiveack0, receiveack1, out0, out1;
S
S11S10S01S1S0S00L
L0INITL1RR11R10R01R1R00R0TesterT1ProtocolFoutT0TKK11K10K00INITK01
system S, K, R, L, Tester;