共 44 条
- [11] Dogar AB, 2021, INT CONF NETW SER, P365, DOI 10.23919/CNSM52442.2021.9615582
- [12] Model Checking Data Flows in Concurrent Network Updates [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2019), 2019, 11781 : 515 - 533
- [13] Floyd A., 2004, The NewRenomodification to TCP's fast recovery algorithm
- [14] Survey of Consistent Software-Defined Network Updates [J]. IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, 2019, 21 (02): : 1435 - 1461
- [15] Ha I., 2008, SIGOPS Oper. Syst.Rev., V42, P64
- [17] Henderson S., 2012, TheNewReno modification to TCP's fast recovery algorithm, DOI [10.17487/RFC6582, DOI 10.17487/RFC6582]
- [18] Hock M, 2017, I C NETWORK PROTOCOL