Computer Networking: Conference Proceedings

The publication of this volume coincides with the twenty-fifth anniversary of the conception of computer communications. It is an opportunity to assess the present status of networking, to give a brief account of the past, and to look at future prospects. Addressed in this volume are topics such as protocol specification and implementation, and the applications of high-speed local networks.

Table of Contents:
Formal Specification for Protocols: Issues and Experiences (G. v. Bochmann, L. Logrippo, B. Sarikaya). High Speed LANs - Planning, Installation and First Experiences of a HSLAN in a Heterogeneous Environment (O. Spaniol). Telecommunication Standardization in Western Europe (H. Gabler). Commercial Development of OSI Management (K.W. Kappel). LANs, MANs and ISDN. A Concept Becomes Reality: First Experiences with Commercial ISDN Services (P. Schneider). A Routing Scheme for a Non-Strict Hierarchical Networking Environment (S. Bahk, M. El Zarki). ARQ Error Control for Multipoint Satellite Communication (S. Jacobs, U. Quernheim). An Approximate Analysis of Multi-Hop S-Aloha Networks with or without Immediate Acknowledgements (J. Wozniak). Towards High Speed Networking in Local and Metropolitan Areas (P. Martini). Bandwidth Allocation and Flow Control in ATM Networks (J. Filipiak). Performance Evaluation of Token Passing Bus LANs (G. Papp, J. Harangozo). A Survey of Fault-Tolerant LANs (W. Molisz). Error Statistics in Data Networks (J. Pribyl, I. Vajda). Message Handling System and Directories. Standards for Message Handling and their Impact (W. Tietz). Extensions and Evaluation of Method for MHS Interwork (Y. Saito et al.). Approaches to the MHS Message Store Structures (V. Sabev et al.). A Simple Multi-Purpose Internet Directory (N. Meulemans). Directories Names and Schema (K. Jacobs). Using Directory Services in Mobile Communication (K. Jacobs, F. Reichert). Management and Monitoring of Networks. A Traffic Generating and Monitoring Technique for Standard and Integrated Voice/Data Ethernet LANs (Gy. Csopaki et al.). Network Management in A Heterogeneous Computer Centre (D. Gollnick, H. Lamprecht). An Experimental OSI Network Management Implementation for a PC Network (K. Garbe). Protocol Specification and Verification. Protocol Validation Using Process Algebraic Recursive Equations (R. Ahooja, J. de Meer). A Synthetic Localized Approach to Protocol Validation (K. Saleh, R. Probert). Liveness Verification as a Tool for Protocol Validation (L.Zs. Varga). Experience in Using Estelle for the Specification and Verification of a Fieldbus Protocol: FIP (M.L. Baretto et al.). A Novel Approach for Deriving a Test Suite (A.K. Sdaa). Protocol Implementation and Testing. Experience with the Astride Testing Approach (O. Rafiq, R. Castanet). Experience in Conformance Testing with the Test System Tekos (U. Buhrandt et al.). Protocol Software Engineering Tools for Implementation of a General Purpose OSI Stack (A.P. Ahtiainen et al.). The Pre-Implementation and Verification of LOTOS (E. Najm et al.). Functional and Performance Prototyping Concepts Based on SDL (D. Carl). Experience in Computer-Aided Protocol Implementation (H. Koenig). Network LOPOS - Performance Analysis (J. Pistelak, M. Sarek). Knowledge Based Systems in Computer Communication. Meta-Management of Communications Networks (B. Meandzija, W.P.-C. Ho). Distributed/Cooperative Office (L. Csaba, E.