Media type: E-Article Title: Programming Languages and Systems: Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures Contributor: Wansbrough, Keith; Norrish, Michael; Sewell, Peter; Serjantov, Andrei imprint: Springer Berlin Heidelberg, 2002 Published in: Programming Languages and Systems Language: Not determined DOI: 10.1007/3-540-45927-8_20 ISSN: 0302-9743 Origination: Footnote: