Connection management for the transport layer: service specification and protocol verification

Sandra L. Murphy, A. Udaya Shankar. Connection management for the transport layer: service specification and protocol verification. IEEE Transactions on Communications, 39(12):1762-1775, 1991. [doi]

Abstract

Abstract is missing.