Core    to    Murphi   
Alternating Bit Protocol
A communication protocol with retransmission of lost messages.