A. Udaya Shankar. Verified Data Transfer Protocols with Variable Flow Control. ACM Trans. Comput. Syst., 7(3):281-316, 1989. [doi]
@article{Shankar89:0, title = {Verified Data Transfer Protocols with Variable Flow Control}, author = {A. Udaya Shankar}, year = {1989}, doi = {10.1145/65000.65003}, url = {http://doi.acm.org/10.1145/65000.65003}, tags = {protocol, data-flow}, researchr = {https://researchr.org/publication/Shankar89%3A0}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Syst.}, volume = {7}, number = {3}, pages = {281-316}, }