TCP, UDP, and Sockets: rigorous and experimentally-validated behavioural specification : Volume 2: The Specification - Netstat - Document - PDFSEARCH.IO

First Page	Meta Content
	TCP, UDP, and Sockets: rigorous and experimentally-validated behavioural specification : Volume 2: The Specification Add to Reading List Document Date: 2005-03-28 17:09:00 Open Document File Size: 2,41 MB Share Result on Facebook Facility University of Cambridge Computer Laboratory / Cambridge Computer Laboratory / / OperatingSystem BSD / / Organization University of Cambridge Computer Laboratory / / Person Michael Norrish / Peter Sewell / Matthew Fairbairn / Steve Bishop / Michael Smith / Keith Wansbrough / / / Position Bishop / / Technology UDP / / URL http / SocialTag Transmission Control Protocol Network architecture Port Datagram Network socket Netstat Internet protocols Computing Information

TCP, UDP, and Sockets: rigorous and experimentally-validated behavioural specification : Volume 2: The SpecificationAdd to Reading List