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

Keith Wansbrough Michael Norrish Peter Sewell Andrei Serjantov

Published in: ESOP (2002)

Keyphrases

tcp ip
formal semantics
logic programming
wireless networks
real time
rate control
databases
semantic information
end to end
video streaming
failure rate
root cause
argumentation semantics