Specification and Verification of a Sliding Window Protocol in LOTOS
Authors:
Eric Madelaine;Didier Vergamini
Affiliations:
-;-
Venue:
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV