Title of article :
Formal specification and verification of safety and performance of TCP selective acknowledgment
Author/Authors :
Smith، نويسنده , , M.A.، نويسنده , , Ramakrishnan، نويسنده , , K.K.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Keywords :
TCP SACK. , TCP performance , Congestion control , I/O automata , formal verification
Journal title :
IEEE/ ACM Transactions on Networking
Journal title :
IEEE/ ACM Transactions on Networking
