for sockets, threads and failures Keith Wansbrough Michael Norrish Peter...  Home/Search
Context
Related
| cl.cam.ac.uk/~pes2...imingudpa4.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cl.cam.ac.uk/~pes20/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Similar documents (at the sentence level):
73.7%: Timing UDP: mechanized semantics for sockets.. - Wansbrough.. (2002) (Correct)
73.0%: Timing UDP: Mechanized Semantics for Sockets.. - Wansbrough.. (2002) (Correct)
Active bibliography (related documents): More All
0.5: The UDP Calculus: Rigorous Semantics for Real Networking - Serjantov, Sewell, Wansbrough (2001) (Correct)
0.5: The UDP Calculus: Rigorous Semantics For Real Networking - Serjantov, Sewell, Wansbrough (Correct)
0.0: Network Event Recognition - Karthikeyan Bhargavan University (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ threads-timing,
author = "For Sockets Threads",
title = "Timing UDP: mechanized semantics",
url = "citeseer.ist.psu.edu/763258.html" }
Citations (may not include all citations):592 Introduction to HOL: a theorem proving environment (context) - Gordon, Melham - 1993
309 Requirements for internet hosts { communication layers (context) - Braden - 1989
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
26 Internet Engineering Task Force (context) - Baker, IP et al. - 1995
24 Verifying a distributed database lookup manager written in E.. - Arts, Dam - 1999
18 Using the heartbeat failure detector for quiescent reliable .. - Aguilera, Chen et al. - 1999
13 What packets may come: Automata for network monitoring - Bhargavan, Chandra et al. - 2001
6 Part xx: Protocol Independent Interfaces (context) - Operating, Interface - 2000
5 IOA reference guide (context) - Garland, Lynch et al. - 2000
Documents on the same site (http://www.cl.cam.ac.uk/~pes20/): More
Design Rules and Abstractions (from branching and real time) - Sewell (1996) (Correct)
Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
On Implementations and Semantics of a Concurrent Programming.. - Sewell (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC