Technical reports

TCP, UDP, and Sockets: rigorous and experimentally-validated behavioural specification
Volume 2: The Specification

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough

March 2005, 386 pages

DOI: 10.48456/tr-625

Abstract

See Volume 1 (UCAM-CL-TR-624).

Full text

PDF (2.5 MB)

BibTeX record

@TechReport{UCAM-CL-TR-625,
  author =	 {Bishop, Steve and Fairbairn, Matthew and Norrish, Michael
          	  and Sewell, Peter and Smith, Michael and Wansbrough, Keith},
  title = 	 {{TCP, UDP, and Sockets: rigorous and
         	   experimentally-validated behavioural specification : Volume
         	   2: The Specification}},
  year = 	 2005,
  month = 	 mar,
  url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-625.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-625},
  number = 	 {UCAM-CL-TR-625}
}