March 1997, 29 pages.
In this paper, the theory of fair action systems is used in the specification and development of the Alternating Bit Protocol. A version of the Movers Theorem for fair action systems is proved, which permits the interleaving of actions of one action system within another. This Movers Theorem is applied repeatedly in the development of the Alternating Bit Protocol.