Specification and Verification of a Sliding Window Protocol in LOTOS.

Eric Madelaine, Didier Vergamini

Browse the full FORTE paper archive.