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]
@article{MurphyS91-0,
title = {Connection management for the transport layer: service specification and protocol verification},
author = {Sandra L. Murphy and A. Udaya Shankar},
year = {1991},
doi = {10.1109/26.120163},
url = {http://dx.doi.org/10.1109/26.120163},
researchr = {https://researchr.org/publication/MurphyS91-0},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Communications},
volume = {39},
number = {12},
pages = {1762-1775},
}