I: Introduction.- to Part I.- 1. The Structure of Computer Networks.- 2. A Standard Layer Model.- II: Physical Layer.- to Part II.- 3. Physical Interfaces and Protocols.- III: Link Control Layer.- to Part III.- 4. Character-Oriented Link Control.- 5. Bit-Oriented Data Link Control.- 6. Multiaccess Link Control.- IV: Network Layer.- to Part IV.- 7. Circuit-Switched Network Layer.- 8. Packet-Switched Network Layer.- 9. Packet-Switched Network Layer for Short Messages.- 10. DNA-The Digital Network Architecture.- 11. Path Control-The Network Layer of System Network Architecture.- 12. Routing Protocols.- 13. Flow Control Protocols.- V: Higher-Layer Protocols.- to Part V.- 14. DCNA Higher-Layer Protocols.- 15. Terminal Support Protocols.- 16. SNA Higher Layer Protocols.- 17. Videotex Terminal Protocols.- VI: Network Interconnection.- to Part VI.- 18. Internetwork Protocol Approaches.- 19. A Specific Internetwork Architecture (Pup).- VII: Formal Specifications and Their Manipulation.- to Part VII.- 20. A Survey of Formal Methods.- 21. Protocol Representation with Finite State Models.- 22. Specifying and Verifying Protocols Represented as Abstract Programs.- 23. A Hybrid Model and the Representation of Communication Services.- 24. Protocol Analysis and Synthesis Using a State Transition Model.- 25. Executable Representation and Validation of SNA.- Index of Acronyms.
This is a book about the bricks and mortar out of which are built those edifices that so well characterize late twentieth century industrial society networks of computers and terminals. Such computer networks are playing an increasing role in our daily lives, somewhat indirectly up to now as the hidden servants of banks, retail credit bureaus, airline reservation offices, and so forth, but soon they will become more visible as they enter our offices and homes and directly become part of our work, entertainment, and daily living. The study of how computer networks work is a combined study of communication theory and computer science, two disciplines appearing to have very little in common. The modern communication scientist wishing to work in this area finds himself in suddenly unfamiliar territory. It is no longer sufficient for him to think of transmission, modulation, noise immun ity, error bounds, and other abstractions of a single communication link; he is dealing now with a topologically complex interconnection of such links. And what is more striking, solving the problems of getting the signal from one point to another is just the beginning of the communication process. The communication must be in the right form to be routed properly, to be handled without congestion, and to be understood at the right points in the network. The communication scientist suddenly finds himself charged with responsibility for such things as code and format conversions, addressing, flow control, and other abstractions of a new and challenging kind.
Springer Book Archives