The tcp package

[Tags: bsd3, library]

A purely functional TCP implementation

Peng Li's TCP stack based on the formal HOL4 TCP specification at http://www.cl.cam.ac.uk/~pes20/Netsem/, code base on the unified events and threads project http://www.seas.upenn.edu/~lipeng/homepage/unify.html.


Properties

Version0.0.2
Dependenciesbase, containers, old-time
LicenseBSD3
AuthorPeng Li and Stephan Zdancewic
MaintainerDon Stewart
CategoryNetwork
Home pagehttp://www.cl.cam.ac.uk/~pes20/Netsem/
Upload dateTue Apr 7 23:06:20 UTC 2009
Uploaded byDonaldStewart
Downloads133 total (12 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees