Date: Sat, 10 Oct 2015 11:27:48 -0400 From: "George Neville-Neil" <gnn@neville-neil.com> To: transport@freebsd.org Subject: Documents from Peter Sewell on TCP stack... Message-ID: <F69FFAB6-036D-4804-B9BB-EFFF8F1DC607@neville-neil.com>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?F69FFAB6-036D-4804-B9BB-EFFF8F1DC607>