A Language-Based Approach To Protocol Implementation (1993)

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

Documents Related by Co-Citation

718 Architectural Considerations for a New Generation of Protocols – D D Clark, D L Tennenhouse - 1990
579 The x-Kernel: An Architecture for Implementing Network Protocols – Norman C. Hutchinson, Larry L. Peterson - 1991
153 A dynamic network architecture – Sean W. O’malley, Larry L. Peterson - 1992
303 An Analysis of TCP Processing Overhead – David D. Clark, Van Jacobson, John Romkey, Howard Salwen - 1989
37 A Readable TCP in the Prolac Protocol Language – Eddie Kohler , M. Frans Kaashoek, David R. Montgomery - 1999
41 A Structured TCP in Standard ML – Edoardo Biagioni - 1994
57 USC: A Universal Stub Compiler – Sean O'Malley, Todd Proebsting, Allen Brady Montz - 1994
209 The Packet Filter: An Efficient Mechanism for User-level Network Code – Jeffrey C. Mogul, Richard F. Rashid, Michael J. Accetta - 1987
919 Multicast Routing in Datagram Internetworks and Extended LANs – Stephen E. Deering, David R. Cheriton - 1990
435 The BSD Packet Filter: A New Architecture for User-level Packet Capture – Steven Mccanne, Van Jacobson - 1992
50 Generating Efficient Protocol Code from an Abstract Specification – C. Castelluccia - 1996
105 Efficient Packet Demultiplexing for Multiple Endpoints and Large Messages – Masanobu Yuhara, Brian N. Bershad, Chris Maeda, J. Eliot, B. Moss - 1994
121 Increasing Network Throughput by Integrating Protocol Layers – Mark B. Abbott, Larry L. Peterson - 1993
79 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
27 A highly layered architecture for high-speed networks – S W O'Malley, L L Peterson - 1991
15 RFC 1832 - XDR: External Data Representation Standard obtain from http://www.faqs.org/rfcs – R Srinivasan
619 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
90 Using Formal Description Techniques: An Introduction to Estelle – K J Turner - 1993