Peter Sewell et al's formal TCP state machine code

George Neville-Neil gnn at neville-neil.com
Fri Sep 25 00:52:23 UTC 2015

Previous message (by thread): Laminar TCP for FreeBSD
Next message (by thread): Completely rudimentary Transport page now on line
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Howdy,

https://github.com/PeterSewell/netsem

That's the formal spec stuff that Robert was talking about on the call today.

Best,
George

Previous message (by thread): Laminar TCP for FreeBSD
Next message (by thread): Completely rudimentary Transport page now on line
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the freebsd-transport mailing list