Date: Sat, 10 Oct 2015 16:30:50 +0100 From: Peter Sewell <Peter.Sewell@cl.cam.ac.uk> To: George Neville-Neil <gnn@neville-neil.com> Cc: transport@freebsd.org Subject: Re: Documents from Peter Sewell on TCP stack... Message-ID: <CAHWkzRTrsf3N%2BXo7F6Rg6DXkZHeGQTFHw_nLyK5BhHhfVKYQjw@mail.gmail.com> In-Reply-To: <F69FFAB6-036D-4804-B9BB-EFFF8F1DC607@neville-neil.com> References: <F69FFAB6-036D-4804-B9BB-EFFF8F1DC607@neville-neil.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On 10 October 2015 at 16:27, George Neville-Neil <gnn@neville-neil.com> wrote: > 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 > > (probably the SIGCOMM paper [http://www.cl.cam.ac.uk/~pes20/Netsem/paper.ps] comes after that) > Best, > George > _______________________________________________ > freebsd-transport@freebsd.org mailing list > https://lists.freebsd.org/mailman/listinfo/freebsd-transport > To unsubscribe, send any mail to " > freebsd-transport-unsubscribe@freebsd.org" >
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAHWkzRTrsf3N%2BXo7F6Rg6DXkZHeGQTFHw_nLyK5BhHhfVKYQjw>