Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase

Guy Juanole, B. Algayres. Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase. In Protocol Specification, Testing, and Verification. pages 273-282, 1983.

Abstract

Abstract is missing.