A Language-Based Approach To Protocol Implementation (1993)

by Mark Bert Abbott , Mark Bert Abbott
Citations:54 - 3 self

Documents Related by Co-Citation

756 Architectural considerations for a new generation of protocols – D Clark, D Tenenhouse - 1990
597 The x-Kernel: An Architecture for Implementing Network Protocols – Norman C. Hutchinson, Larry L. Peterson - 1991
37 A Readable TCP in the Prolac Protocol Language – Eddie Kohler , M. Frans Kaashoek, David R. Montgomery - 1999
315 An Analysis of TCP Processing Overhead – David D. Clark, Van Jacobson, John Romkey, Howard Salwen - 1989
42 A Structured TCP in Standard ML – Edoardo Biagioni - 1994
52 Generating Efficient Protocol Code from an Abstract Specification – C. Castelluccia - 1996
162 A dynamic network architecture – Sean W. O’malley, Larry L. Peterson - 1992
59 USC: A Universal Stub Compiler – Sean O'Malley, Todd Proebsting, Allen Brady Montz - 1994
218 The Packet Filter: An Efficient Mechanism for User-level Network Code – Jeffrey C. Mogul, Richard F. Rashid, Michael J. Accetta - 1987
13 Automated protocol implementation with rtag – D P Anderson - 1988
161 Implementing Declarative Overlays – Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica - 2005
474 The BSD Packet Filter: A New Architecture for User-level Packet Capture – Steven Mccanne, Van Jacobson - 1992
108 Efficient Packet Demultiplexing for Multiple Endpoints and Large Messages – Masanobu Yuhara, Brian N. Bershad, Chris Maeda, J. Eliot B. Moss - 1994
123 Increasing Network Throughput by Integrating Protocol Layers – Mark B. Abbott, Larry L. Peterson - 1993
60 Network subsystem design – P Druschel, M B Abbott, M A Pagels, L L Peterson - 1993
84 Synthesis: An Efficient Implementation of Fundamental Operating System Services – Henry Massalin, Henry Massalin - 1992
19 Delayed evaluation of gigabit protocols – Per Gunningberg, Craig Partridge, Teet Sirotkin, Bjorn Victor - 1991
91 Using Formal Description Techniques: An Introduction to Estelle – K J Turner, ed - 1993
199 The Foundations of Esterel – Gérard Berry - 1998