1) There are two
processes and a two-way channel, they
communication with each
other by sending messages of types (ack, nak, err), err models distortion on channels. Error only
occurs on channel from pB to pA, we model this
by adding one more process pC.
2) They try to overcome the errors by acknowledgement and
retransmission.