This model demonstrates the use of the discrete event (DE) domain and hierarchical finite state machines (FSMs) to model the alternating bit protocol (ABP). ABP is a simple mechanism for achieving reliable, ordered delivery of messages over channels with unreliable delivery and variable delay.
This demo shows that: