Documents from Peter Sewell on TCP stack...

[George Neville-Neil]

Howdy,

These are a bit long but this is the work that Peter (who I think is now 
on this list) and his group
did in 2005 on the FreeBSD TCP stack.

http://www.cl.cam.ac.uk/~pes20/Netsem/tr.pdf
http://www.cl.cam.ac.uk/~pes20/Netsem/alldoc.pdf

Much of the overview material including the "Quick Introduction" which I 
recommend you read first,
is here http://www.cl.cam.ac.uk/~pes20/Netsem/index.html

Best,
George