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 BibTeX
Robert L. Probert, Hasan Ural, Marc W. A. Hornbeek: A Comprehensive Software Environment for Developing Standardized Conformance Test Suites. 19-29 BibTeX
Liba Svobodova: Measured Performance of Transport Service in LANs. 31-45 BibTeX
Radu Popescu-Zeletin: From Broadband ISDN to Multimedia Computer Networks. 47-54 BibTeX
Tzung-Pao Lin: ISDN Basic Rate Interface Architecture For ADPCM Transmission. 55-64 BibTeX
Timon Holman, Shukri Wakid, Thomas B. DeWitt: The Role of the NIU-Forum in Realizing Interoperable ISDN. 65-71 BibTeX

Ernst Biersack: A Systematic Approach for Constructing Gateways. 79-95 BibTeX
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 BibTeX
Ahmed A. A. Adas: Evaluation Methodology for Wide Area Networks. 115-131 BibTeX
Ariel Orda, Raphael Rom: Multihoming in Computer Networks: A Topology-Design Approach. 133-141 BibTeX
Daniel Rosenne: Leased Digital Data Lines Service: Israeli Approach. 143-146 BibTeX
C. Wit: Introductory Speech at ``ISDN in Europe'' Conference. 147-148 BibTeX
Michel Carpentier: The European Commission's Policy for ISDN Development. 149-154 BibTeX

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

Raj Jain: Characteristics of Destination Address Locality in Computer Networks: A Comparison of Caching Schemes. 243-254 BibTeX
Inder S. Gopal, Adrian Segall: Directories for Networks with Casually Connected Users. 255-262 BibTeX
Aura Ganz, Imrich Chlamtac: An Efficient Solution to Finite Buffer Non-Persistent Carrier Sense Multiple Access Protocol. 263-274 BibTeX
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 BibTeX
Sol M. Shatz, Peter S. Kajka, Ardaman S. Chauhan: Formal Modeling and Automated Analysis of the LAPD Protocol. 293-314 BibTeX

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