Volume 2,
1978
- Karl Kümmerle, Harry Rudin:
Packet and Circuit Switching: Cost/Performance Boundaries.
3-17
- Richard C. Roistacher:
The Virtual Journal.
18-24
- Ira W. Cotton:
Computer Network Interconnection.
25-34
- Bennet P. Lientz, Ira R. Weiss:
Trade-Offs of Secure Processing in Centralized Versus Distributed Networks.
35-43
- J. W. Wong:
Distribution of End-to-End Delay in Message-Switched Networks.
44-49
- Gérard Le Lann, Hervé Le Goff:
Verification and Evaluation of Communication Protocols.
50-69
- Wyn L. Price, J. D. Haenle:
Some Comments on Simulated Datagram Store-and-Forward Networks.
70-73
- Eric G. Manning:
On Datagram Service in Public Packet-Switched Networks.
79-83
- Najah Naffah:
High Level Protocol for Alphanumeric Data-Entry Terminals.
84-94
- Leslie Lamport:
The Implementation of Reliable Distributed Multiprocess Systems.
95-114
- Eckart Hummel:
Role and Functioning of the CCITT.
123-124
- Eric G. Manning:
The 1976 International Computer Communications Conference - An Assessment.
125-154
- R. A. Davenport:
Distributed Database Technology - A Survey.
155-167
- Kiyoshi Maruyama:
Optimization of Mixed-Media Communication Networks.
168-178
- Peter T. Kirstein:
Choice of Data Communication Media for Transmission of Facsimile Information.
179-190
- Alfred Giessler, J. D. Haenle, A. König, E. Pade:
Free Buffer Allocation - An Investigation by Simulation.
191-208
- E. M. Gaudissart, Stephane de Hepcée, Guy Melaet, Vincent Obozinski:
Description of Protocols Implemented in the SGB Network.
215-226
- Yves A. Jacquemart:
Network Interprocess Communication in an X 25 Environment.
227-235
- Ernest C. Eschenauer, Vincent Obozinski:
The Network Communication Manager: A Transport Station for the SGB Network.
236-249
- Friedrich Hertweck, Eckart Raubold, Friedrich H. Vogt:
X 25 Based Process - Process Communication.
250-270
- John G. Fletcher, Richard W. Watson:
Mechanisms for a Reliable Timer-Based Protocol.
271-290
- Günter Schulze, Joachim Börger:
A Virtual Terminal Protocol Based Upon the ``Communication Variable'' Concept.
291-296
- Eric G. Bauwens, Francis N. Magnee:
The Virtual Terminal Approach in the Belgian University Network.
297-311
- Michel Gien:
A File Transfer Protocol (FTP).
312-319
- Dan Cohen:
A Protocol for Packet-Switching Voice Communication.
320-331
- Robert Saettone:
MITS: Microprocessor Implementation of a Transport Station.
332-339
- Derek Barber, Tomaz Kalin, C. M. Solomonides:
An Implementation of the X 25 Interface in a Datagram Network.
340-345
- Carl A. Sunshine:
Survey of Protocol Definition and Verification Techniques.
346-350
- Daniel Brand, William H. Joyner Jr.:
Verification of Protocols Using Symbolic Execution.
351-360
- Gregor von Bochmann:
Finite State Description of Communication Protocols.
361-372
- Harry Rudin, Colin H. West, Pitro Zafiropulo:
Automated Protocol Validation: One Chain of Development.
373-380
- André A. S. Danthine, Joseph Bremer:
Modelling and Verification of End-to-End Transport Protocols.
381-395
- Christopher J. Bennett, Andrew J. Hinchley:
Measurements of the Transmission Control Protocol.
396-408
- Erol Gelenbe, Jacques Labetoulle, Guy Pujolle:
Performance Evaluation of the HDLC Protocol.
409-415
- Starr Roxanne Hiltz:
The Human Element in Computerized Conferencing Systems.
421-428
- P. Schicker, A. Duenki:
The Virtual Terminal Definition.
429-441
- Yoshifumi Masunaga:
A Probabilistic Automaton Model of the NRM, HDX HDLC Procedure.
442-453
- Carl A. Sunshine, Yogen K. Dalal:
Connection Management in Transport Protocols.
454-473
Copyright © Fri Dec 4 20:28:12 2009
by Michael Ley (ley@uni-trier.de)
