Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures (2002)

by Keith Wansbrough , Michael Norrish , Peter Sewell , Andrei Serjantov
Citations:19 - 12 self