Hans.Tcp.RecvWindow

Receive Window

data Window

emptyWindow

recvSegment

rcvWnd

rcvNxt

setRcvNxt

rcvRight

moveRcvRight

Sequence Numbers

sequenceNumberValid