Computer Laboratory

Technical reports

The UDP calculus:
rigorous semantics for real networking

Andrei Serjantov, Peter Sewell, Keith Wansbrough

July 2001, 70 pages

Full text

PS (0.3 MB)

BibTeX record

@TechReport{UCAM-CL-TR-515,
  author =	 {Serjantov, Andrei and Sewell, Peter and Wansbrough, Keith},
  title = 	 {{The UDP calculus: rigorous semantics for real networking}},
  year = 	 2001,
  month = 	 jul,
  url = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-515.ps.gz},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-515}
}