Mark A. Smith  Home/Search
Context Related
| belllabs.com/user/massm...podc98.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: belllabs.com/user/massm...podc98 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we examine reliable transport level protocols for efficient transactions across a network. A typical transaction is a request from a client and a response from a server. The canonical example being remote procedure call. Transport level protocols such as TCP [14] and ISO TP-4 [9] work well for data streaming, but are inefficient for transactions. However, several protocols [19, 11, 17] have been designed to meet both needs, including a proposed extension of TCP call T/TCP [4, 5].... (Update)
Context of citations to this paper: More
.... Timed I O automata have been used mainly to describe timing based distributed algorithms and communication protocols (e.g. [74, 42, 71, 72, 17, 73, 23]) Timed I O automata have also been used in a few cases to model simple hybrid system challenge problems , including the...
...using timed and untimed automaton models [22] and demonstrates that T TCP doesn t provide the same service as TCP. Follow on work [23] has shown the dependence of T TCP on ac curate clocks for transaction protocols to provide efficient, reliable transactions. Although...
Cited by: More
Verifiable Code Generation from Abstract I/O Automata Models for.. - Tauber (2001) (Correct)
Hybrid I/O Automata - Lynch, Segala, al. (1996) (Correct)
Analysing the WAP Class 2 Wireless Transaction Protocol.. - Gordon, Billington (2000) (Correct)
Similar documents (at the sentence level):
21.0%: Formal Verification of TCP and T/TCP - Smith (1997) (Correct)
Active bibliography (related documents): More All
0.3: Heterogeneous Acoustic Measurements and Multiple Classifiers.. - Halberstadt (1998) (Correct)
0.3: Heterogeneous Acoustic Measurement And Multiple Classifiers For .. - Halberstadt (1998) (Correct)
0.2: Hula: An Efficient Protocol for Reliable Delivery of Messages - Maheshwari (1997) (Correct)
Similar documents based on text: More All
0.2: The Impossibility of Implementing Reliable Communication in.. - Alan Fekete Nancy (1993) (Correct)
0.1: Network Working Group R. Braden Request for Comments: .. - Functional.. (Correct)
0.0: A Theory of Consistency for Modular Synchronous Systems - Bryant, Chauhan, Clarke, Goel (2000) (Correct)
Related documents from co-citation: More All
13: Correctness of vehicle control systems: A case study - Weinberg - 1996
12: Information and Computation (context) - Lynch, Vaandrager et al. - 1995
10: Specifying and using a partitionable group communication service - Fekete, Lynch et al. - 1997
BibTeX entry: (Update)
Mark Smith. Reliable message delivery and conditionally-fast transactions are not possible without accurate clocks. In Proceedings of the 17th Annual ACM Symposium on the Principles of Distributed Computing, pages 163--171, June 1998. http://citeseer.ist.psu.edu/smith98reliable.html More
@inproceedings{ smith98reliable,
author = "Mark A. Smith",
title = "Reliable Message Delivery and Conditionally-Fast Transactions are not Possible Without Accurate Clocks",
booktitle = "Symposium on Principles of Distributed Computing",
pages = "163-171",
year = "1998",
url = "citeseer.ist.psu.edu/smith98reliable.html" }
Citations (may not include all citations):718 Distributed Algorithms (context) - Lynch - 1996
111 Transmission Control Protocol - DARPA Internet Program Speci.. (context) - Postel - 1981
42 Extending TCP for transactions -- concepts (context) - Braden - 1992
41 Reliable communication over unreliable channels - Afek, Attiya et al. - 1994
28 Efficient at-most-once messages based on synchronized clocks - Liskov, Shrira et al. - 1991
15 The impossibility of implementing reliable communication in .. - Fekete, Lynch et al. - 1993
8 Connection management without retaining information - Attiya, Dolev et al. - 1993
8 Massachusetts Institute of Technology (context) - Gawlick, Segala et al. - 1993
5 Connection Oriented Transport Protocol Specification (context) - Organization - 1986
4 transport protocol: Features and experience (context) - Watson - 1989
4 Transport protocols for transactions and streaming (context) - Braden, Clark - 1993
3 Department of Electrical Engineering and Computer Science (context) - Prisco - 1997
2 Trade-offs between message delivery and quiesce times in con.. - Kleinberg, Attiya et al. - 1995
2 An earlier version appears in [7] and a shortened version ap.. (context) - Segala, Gawlick et al. - 1997
2 Minimumlatency transport protocols with modulo-n incarnation - Shankar, Lee - 1995
1 Tradeoff results for connection management (context) - Mavronicolas, Papadakis - 1997
1 Formal Verification of TCP and T/TCP (context) - Smith - 1997
1 The level of handshake required for managing a connection (context) - Attiya, Rappoport - 1994
The graph only includes citing articles where the year of publication is known.
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