Computer Networks and ISDN Systems, Volume 22

Volume 22, Number 1, 1991

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers: Introduction to the PSTV-IX. 1-6 BibTeX
Barry S. Bosik, M. Ümit Uyar: Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation. 7-33 BibTeX
Gérard Berry, Georges Gonthier: Incremental Development of an HDLC Entity in Esterel. 35-49 BibTeX
Susan C. Murphy, Per Gunningberg, John P. J. Kelly: Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment. 51-59 BibTeX
Tommaso Bolognesi, Olof Hagsand, Diego Latella, Björn Pehrson: The Definition of a Graphical G-LOTOS Editor Using the Meta-Tool LOGGIE. 61-77 BibTeX

Patrice Piguet: Storage and Retrieval of Documentation at the United Nations. 87-102 BibTeX
William L. Hibbard, David A. Santek, Gregory Tripoli: Interactive Atmospheric Data Access via High-Speed Networks. 103-109 BibTeX
Arsi Vaziri: Scientific Visualization in High-Speed Network Environments. 111-129 BibTeX
Marjory J. Johnson: Coping with Data from Space Station Freedom. 131-142 BibTeX
Jonathan M. Smith, David J. Farber: Traffic Characteristics of a Distributed Memory System. 143-154 BibTeX
W. David Sincoskie: System Architecture for a Large Scale Video on Demand Service. 155-162 BibTeX

Lek Heng Ngoh: Multicast Support for Group Communications. 165-178 BibTeX
Deborah Estrin: Policy Requirements for Inter-Administrative Domain Routing. 179-191 BibTeX
Hideaki Takagi: Application of Polling Models to Computer Networks. 193-211 BibTeX
Xiangyi Wang, Jaidev Kaniyil, Yoshikuni Onozato, Shoichi Noguchi: Heterogeneous ALOHA Networks: A Sufficient Condition for all Equilibrium States to be Stable. 213-224 BibTeX
Chung-Ju Chang, Jing-Win Wong, Jung-Hui Chiu: A Simulation Study on the Service Strategies for Packet Voice Communication Networks. 225-232 BibTeX

Athanasios V. Vasilakos, Christos A. Moschonas, Constantinos T. Paximadis: Variable Window Flow Control and Ergodic Descretized Learning Algorithms for Adaptive Routing in Data Networks. 235-248 BibTeX
Saimin Jin, Dhadesugoor R. Vaman, Divyendu Sinha: A Performance Management Framework to Provide Bounded Packet Delay and Variance in Packet Switched Networks. 249-264 BibTeX
Do Y. Lee, Jai-Yong Lee: Performance Comparison of Bridge Algorithms in Interconnected Local Area Networks. 265-276 BibTeX
Herwig Bruneel: Exact Derivation of Transient Behavior for Buffers with random Output Interruptions. 277-285 BibTeX
P. Chung, Ahmed K. Elhakeem: A Bandwith Reducing Token Ring. 287-302 BibTeX
Nico M. van Dijk: Product Forms for Random Access Schemes. 303-317 BibTeX

Philippe A. Janson, Refik Molva: Security in Open Networks and Distributed Systems. 232-346 BibTeX
Joyce K. Reynolds: The Helminthiasis of the Internet. 347-361 BibTeX
Deborah Estrin, Gene Tsudik: Secure Control of Transit Internetwork Traffic. 363-382 BibTeX