ABP

This page contains an applet that should appear as a separate window.

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:

\ \ MoML specification for this model. \