Mod4Counter

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

This is a two bit counter example.

\ \ MoML specification for this model. \