EFSM/SDL modeling of the original TCP standard (RFC793) and the Congestion Control Mechanism of TCP Reno Raid Y. Zaghal and Javed I. Khan Networking and Media Communications Research Laboratories Department of Computer Science, Kent State University 233 MSB, Kent, OH 44242 javed|[email protected] Abstractâin this document we provide a complete EFSM/SDL model for the original TCP standard that wa
{{#tags}}- {{label}}
{{/tags}}