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

by K Wansbrough, M Norrish, P Sewell, A Serjantov
Venue:Proceedings of the 11th European Symposium on Programming (ESOP 2002), volume 2305 of LNCS