A structured TCP in Standard ML

Edoardo Biagioni
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Read: 01 January 1998

Proceedings of the Conference on Communications Architectures, Protocols and Applications
SIGCOMM '94
London, United Kingdom
Association for Computing Machinery
New York, NY, USA
Pages 36-45
1994
Note(s): operating systems, module system, networks