Computer Networks and ISDN Systems, Volume 18

Volume 18, Number 1, 1989/1990

Suzanne M. Sharrock, Subbarao Ghanta, David Hung-Chang Du: A CSMA/CD-Based, Integrated Voice/Data Protocol with Dynamic Channel Allocation. 1-18
Robert L. Probert, Hasan Ural, Marc W. A. Hornbeek: A Comprehensive Software Environment for Developing Standardized Conformance Test Suites. 19-29
Liba Svobodova: Measured Performance of Transport Service in LANs. 31-45
Radu Popescu-Zeletin: From Broadband ISDN to Multimedia Computer Networks. 47-54
Tzung-Pao Lin: ISDN Basic Rate Interface Architecture For ADPCM Transmission. 55-64
Timon Holman, Shukri Wakid, Thomas B. DeWitt: The Role of the NIU-Forum in Realizing Interoperable ISDN. 65-71

Ernst Biersack: A Systematic Approach for Constructing Gateways. 79-95
Andrea Bondavalli, Marco Conti, Enrico Gregori, Luciano Lenzini, Lorenzo Strigini: MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols. 97-113
Ahmed A. A. Adas: Evaluation Methodology for Wide Area Networks. 115-131
Ariel Orda, Raphael Rom: Multihoming in Computer Networks: A Topology-Design Approach. 133-141
Daniel Rosenne: Leased Digital Data Lines Service: Israeli Approach. 143-146
C. Wit: Introductory Speech at ``ISDN in Europe'' Conference. 147-148
Michel Carpentier: The European Commission's Policy for ISDN Development. 149-154

Gregor von Bochmann: Protocol Specification for OSI. 167-184
Björn Pehrson: Protocol Verification for OSI. 185-201
Richard J. Linn Jr.: Conformance Testing for OSI Protocols. 203-219
Deepinder P. Sidhu, Thomas P. Blumer: Semi-Automatic Implementation of OSI Protocols. 221-238

Raj Jain: Characteristics of Destination Address Locality in Computer Networks: A Comparison of Caching Schemes. 243-254
Inder S. Gopal, Adrian Segall: Directories for Networks with Casually Connected Users. 255-262
Aura Ganz, Imrich Chlamtac: An Efficient Solution to Finite Buffer Non-Persistent Carrier Sense Multiple Access Protocol. 263-274
Tatsuya Suda, Jaime Jungok Bae, David C. Baxter: The Robustness and Performance of Tree Collision Resolution Algorithms in an Unshared Feedback Error Environment. 275-292
Sol M. Shatz, Peter S. Kajka, Ardaman S. Chauhan: Formal Modeling and Automated Analysis of the LAPD Protocol. 293-314

Stewart D. Cusworth, John M. Senior, Alan Ryley: Wavelength Division Multiple Access on a High-Speed Optical Fibre LAN. 323-333
Gregor von Bochmann: Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques. 335-377
Jonny S. K. Wong, Youngdon Kang: Distributed and Fail-Safe Routing Algorithms in Toroidal-Based Metropolitan Area Networks. 379-391