Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures.

Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov

Browse the full ESOP paper archive.