A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol.

Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston

Browse the full FM paper archive.