ABP state graph

• Produce state machines for Sender and Receiver

• Interleave them to produce a single machine

  • After state minimization, state graph has 251 states

Previous slide

Next slide

Back to first slide

View graphic version