SIGCOMM Computer Communication Review
Table of Contents

1986

Volume 16, Number 1 (January/February 1986)

• A Multiply-and-Accumulate Selection Algorithm for Dynamic Entropy Coding; D. Irwin
• A Proposal for an Improved Network Layer of a LAN; G. Rossi and C. Garavaglia
• An Annotated Bibliography on ISDN; W. Stallings

Volume 16, Number 2 (April/May 1986)

• Moving from DoD to OSI Protocols: A First Step; M. Witt
• An Extended X.400 Architectural Model; M. Medina, T. Maude, and H. Smith

Volume 16, Number 3 (August 1986)

• The Current Status of MAP; J. S. Foley and Y. Weon- Yoon
• The State of the Art in Protocol Engineering; T. F. Piatkowski
• Protocol Conversion--Correctness Problems; Simon S. Lam
• A Formal Protocol Conversion Method; K. Okumura
• A Model for Evaluating Demand Assignment Protocols with Arbitrary Workloads; Z. Koren, I. Chlamtac, and A. Ganz
• Implementing Priorities in Multiaccess Protocols for Optical Fiber- Based Local Area Networks; T. Vo- Dai
• Real- Time Voice Communications Over a Token- Passing Ring Local Area Network; E. Friedman and C. Ziegler
• A Comparison of Two Token- Passing Bus Protocols; V. Rego and H. D. Hughes
• Command Execution in a Heterogeneous Environment; J. T. Korb and C. E. Wills
• Prediction of Transport Protocol Performance Through Simulation; K. Mills, M. Wheatley, and S. Heatley
• A Verified Sliding Window Protocol with Variable Flow Control; A. U. Shankar
• Modeling a Transport Layer Protocol Using First- Order Logic; H. P. Lin
• Voice Transmission in a Priority CSMA/CD LAN: An Efficient Protocol Using Hybrid Switching; J. van de Lagemaat, J. M. A. Daemen, and I. G. Niemegeers
• A Framed Movable- Boundary Protocol for Integrated Voice/Data in a LAN; S. M. Sharrock, K. J. Maly, S. Ghanta, and H. C. Du
• Voice and Data Performance Measurements in L- Express Net; F. Borgonovo, E. Cadorin, L. Fratta, and M. Pezze
• An Architecture for a Multimedia Teleconferencing System; L. Aguilar, J. J. Garcia- Luna- Aceves, D. Moran, E. Craighill, and R. Brungardt
• Tier Automation Representation of Communication Protocols; Z. Bavel, J. Grzymala- Busse, Y. Hsia, and R. Mancisidor- Landa
• Deriving Protocol Specifications from Service Specifications; G. von Bochmann and R. Gotzhein
• A Petri Net Reduction Algorithm for Protocol Analysis; C. V. Ramamoorthy and Y. Yaw
• Structure of a LOTOS Interpreter; J. P. Briand, M. C. Fehri, L. Logrippo, and A. Obaid
• Frequency- Time Controlled (FTC) Networks for High Speed Communication; I. Chlamtac and A. Ganz
• Performance Analysis of a Satellite Communications Backchannel Architecture; D. Baum
• The Butterfly Satellite IMP for the Wideband Packet Satellite Network; W. Edmond, S. Blumenthal, A. Echenique, S. Storch, T. Calderwood, and T. Rees
• A Closer Look at Noahnet; D. J. Farber and G. M. Parulkar
• Conformity Analysis for Communication Protocols; N. Liu and M. T. Liu
• Synthesis of Two- Party Error- Recoverable Protocols; C. V. Ramamoorthy, Y. Yaw, R. Aggarwal, J. Song, and W. T. Tsai
• Formal Specification- Based Conformance Testing; B. Sarikaya, G. v. Bochmann, M. Maksud, and J. M. Serre
• An Interactive Test Sequence Generator; H. Ural and R. Short
• Inter- Organization Networks: Implications of Access Control Requirements for Interconnection Protocols; D. Estrin
• Extending a Capability Based System into a Network Environment; R. D. Sansom, D. P. Julin, and R. F. Rashid
• Communication Services under EMCON; B. Nguyen and R. Rom
• Access Control for Network Directory Systems; M. Goodwin and K. J. McDonell
• A Selective Repeat ARQ Scheme for Point- to- Multipoint Communications and Its Throughput Analysis; S. R. Chandran and S. Lin
• Control Procedures for Slotted Aloha Systems that Achieve Stability; L. P. Clare
• A Two- Bit Contention- Based TDMA Technique for Data Transmissions; D. Tsai and J. Chang
• A Reliable Datagram Protocol on Local Area Networks; D. Lee, K. Chon, and C. Chung
• A Message- Based Fault Diagnosis Procedure; J. R. Agre
• A Model of File Server Performance for a Heterogeneous Distributed System; K. K. Ramakrishnan and J. S. Emer
• A Study of Dynamic Load Balancing in a Distributed System; A. Hac and T. Johnson
• A Resilient Distributed Protocol for Network Synchronization; I. A. Cimet and P. R. Srikanta Kumar
• A Tunable Protocol for Symmetric Surveillance in Distributed Systems; B. Walter
• Local Distributed Deadlock Detection by Knot Detection; I. Cidon, J. M. Jaffe, and M. Sidi
• Distributed System V IPC in LOCUS: A Design and Implementation Retrospective; B. D. Fleisch
• Why TCP Timers Don't Work Well; L. Zhang
• VMTP: A Transport Protocol for the Next Generation of Communication Systems; D. Cheriton

Volume 16, Number 4 (July/August 1986)

• Specification versus Implementation based on Estelle; L. Kovacs and A. Ercsenyi
• Experimental Testing of Transport Protocol; O. Rafiq, C. Chraibi, and R. Castanet
• Hints for the Interpretation of the ISO Session Layer; F. Caneschi

Volume 16, Number 5 (October/November 1986)

• Waiting Times in a Transport Protocol Entity Scheduler; J. Vinyes-Sanz and J. Riera-Garcia