The UDP Calculus: Rigorous Semantics for Real Networking (2001)
Cached
Download Links
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Andrei Serjantov
,
Peter Sewell
,
Keith Wansbrough
| Citations: | 18 - 14 self |
BibTeX
@MISC{Serjantov01theudp,
author = {Andrei Serjantov and Peter Sewell and Keith Wansbrough},
title = {The UDP Calculus: Rigorous Semantics for Real Networking},
year = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the complex sockets interface to the protocols, and subtle portability issues. Moreover, the behavioural properties of operating systems and the network are not well documented.
