Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures (2002)
Cached
Download Links
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Keith Wansbrough
,
Michael Norrish
,
Peter Sewell
,
Andrei Serjantov
| Citations: | 19 - 12 self |
BibTeX
@MISC{Wansbrough02timingudp:,
author = {Keith Wansbrough and Michael Norrish and Peter Sewell and Andrei Serjantov},
title = {Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures},
year = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper studies the semantics of failure in distributed programming. We present a semantic model for distributed programs that use the standard sockets interface; it covers message loss, host failure and temporary disconnection, and supports reasoning about distributed infrastructure. We consider interaction via the UDP and ICMP protocols.
