Modelling and analysing the functional behaviour of TCP's connection management procedures.

Jonathan Billington Bing Han Modelling and analysing the functional behaviour of TCP's connection management procedures. 269-304 2007 9 STTT 3-4 http://dx.doi.org/10.1007/s10009-007-0034-1 db/journals/sttt/sttt9.html#BillingtonH07