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

by Keith Wansbrough , Michael Norrish , Peter Sewell , Andrei Serjantov
Citations:21 - 13 self