SIGCOMM Computer Communication Review
Table of Contents

1984

Volume 14, Number 1 (April 1984)

• Modeling Delay in Selective Retransmission Protocol by a FIFO Queue; V. Kumar
• The ISO Internetwork Protocol Standard; D. Piscitello
• Information Processing Systems--Data Communications--Protocol for Providing the Connectionless Network Service; ISO/TC 97/SC6
• Design of an Authentication Service; A. Chung and R. Sherman
• An Extensive Bibliography on Computer Networks; A. Ananda and B. Srinivasan

Volume 14, Number 2 (June 1984)

• The Architecture of the UNIVERSE Network; I. M. Leslie and R. M. Needham
• Managed File Distribution on the UNIVERSE Network; C. S. Cooper
• The Satellite Transmission Protocol of the UNIVERSE Network; A. G. Waters and C. J. Adams
• Serial Link Protocol Design: A Critique of the X.25 Standard, Level 2; J. G. Fletcher
• A Methodology for Protocol Design and Specification based on an Extended State Transition Model; R. S. Y. Chung
• An Exercise in Constructing Multi-phase Communication Protocols; C. H. Chow, M. G. Gouda, and S. S. Lam
• The Use of Broadcast Techniques on the UNIVERSE Network; A. G. Waters, C. J. Adams, I. M. Leslie, and R. M. Needham
• Datagram Routing for Internet Multicasting; L. Aguilar
• One-to-many Interprocess Communication in the V-system; D. R. Cheriton and W. Zwaenepoel
• Petri Nets are Good for Protocols; J. P. Courtiat, J. M. Ayache, and B. Algayres
• Formal Specification and Validation of ISO Transport Protocol Components using Petri Nets; W. J[[cedilla]]rgensen and S. T. Vuong
• Automated Verification of Connection Management of NBS Class 4 Transport Protocol; D. P. Sidhu and T. P. Blumer
• Interactive Verification of Communication Software on the Basis of CIL; H. Krumm and O. Drobnik
• A Method of Automatic Proof for the Specification and Verification of Protocols; A. R. Cavalli
• A Temporal Ordering Specification of Some Session Services; V. Carchiolo, A. Faro, and G. Scollo
• Network Factors Affecting the Performance of Distributed Applications; K. A. Lantz, W. I. Nowicki, and M. M. Theimer
• Interfacing to the 10 Mbps Ethernet: Observations and Conclusions; J. Nabielsky
• A Performance Model for Hardware/Software Issues in Computer-Aided Design of Protocol Systems; C. M. Woodside, R. Montealegre, and R. J. A. Buhr
• Automatic Update of Replicated Topology Data Bases; J. M. Jaffe and A. Segall
• Automated Testing of Protocol Specifications and their Implementations; H. Ural and R. L. Probert
• Some Operational Tools in an OSI Study Environment; J. P. Ansart, R. Castanet, P. Guitton, and O. Rafiq
• Analysis of Channel Access Schemes for High Speed LANs; N. N. Pederson and R. Sharp
• Performance Analysis of an Access Method Suitable for the Integration of Voice and Data; J. P. Behr and U. Killet
• Twentenet: A LAN with Message Priorities; Design and Performance; I. G. Niemegreers and C. A. Vissers
• Some Critical Considerations on the ISO/OSI RM from a Network Implementation Point of View; R. Popescu-Zeletin
• A Minimal Duplex Connection Capability in the Top Three Layers of the OSI Reference Model; M. F. Dolan
• Communication Primitives Supporting the Execution of Atomic Actions at Remote Sites; K. Rothermel
• The Derivation of Performance Expressions for Communication Protocols from Timed Petri Net Models; R. R. Razouk
• An Analysis of Naming Conventions for Distributed Computer Systems; D. B. Terry
• Analytic Solution of an Integrated Performance Model of a Computer Communication Network with Window Flow Control; A. Thomasian and P. Bay
• On the Performance of Slotted ALOHA in a Spread Spectrum Environment; P. Economopoulos and M. L. Molle
• A Class of Tree Algorithms with Variable Message Length; D. P. Gerakoulis, T. N. Saadawi, and D. L. Schilling
• A Simple Algorithm for Setting an Optimal Timeout for End-to-End Retransmission Across a Packet Switching Network; S. W. Edge
• Protocol Testing Methodology Development at NBS; R. P. Blanc
• Some Issues in Protocol Implementation Testing; E. Cerny
• Physically Dispersing an Operating System; E. D. Jensen
• Multiprocessors and Computer Networks; M. Solomon

Volume 14, Number 3 (July 1984)

• Computer Communications Standards; A. Lyman Chapin

Volume 14, Number 4 (October 1984)

• Encoding CCITT X.409 Presentation Transfer Syntax; A. Pope
• Congestion Control in IP/TCP Internetworks; J. Nagle
• The ISO Connectionless Transport Standards; S. Stein
• ISO DP 8072--Addendum to the Transport Service Definition Covering Connectionless Mode Transmission
• ISO DP 8602--Connectionless Transport Protocol