The UDP calculus:
rigorous semantics for real networking

Andrei Serjantov, Peter Sewell & Keith Wansbrough
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 protability issues. Moreover, the behavioural properties of operating systems and the network are not well documented. A few of these issues have been addressed in the process calculus and distributed algorithm communities, but there remains a wide gulf between...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.