@InProceedings{Wansbrough:ETAPS02:UDP,
  author =       {Keith Wansbrough and Michael Norrish and Peter Sewell and Andrei Serjantov},
  title =        {Timing {UDP}: Mechanized Semantics for Sockets, Threads and Failures},
  booktitle =    {Programming Languages and Systems: 11th European Symposium on
Programming, {ESOP2002}},
  pages =        {278--294},
  year =         2002,
  editor =       {D. Le M\'etayer},
  volume =       2305,
  series =       {Lecture Notes in Computer Science},
  month =        {April},
  publisher =    {Springer-Verlag}
}