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

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

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

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
Saimin Jin, Dhadesugoor R. Vaman, Divyendu Sinha: A Performance Management Framework to Provide Bounded Packet Delay and Variance in Packet Switched Networks. 249-264
Do Y. Lee, Jai-Yong Lee: Performance Comparison of Bridge Algorithms in Interconnected Local Area Networks. 265-276
Herwig Bruneel: Exact Derivation of Transient Behavior for Buffers with random Output Interruptions. 277-285
P. Chung, Ahmed K. Elhakeem: A Bandwith Reducing Token Ring. 287-302
Nico M. van Dijk: Product Forms for Random Access Schemes. 303-317

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