Documents from Peter Sewell on TCP stack...

[Peter Sewell]

On 10 October 2015 at 16:27, George Neville-Neil <gnn at 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 at freebsd.org mailing list
> https://lists.freebsd.org/mailman/listinfo/freebsd-transport
> To unsubscribe, send any mail to "
> freebsd-transport-unsubscribe at freebsd.org"
>