Ebook: Computer Network Architectures and Protocols
- Tags: Electrical Engineering
- Series: Applications of Communications Theory
- Year: 1982
- Publisher: Springer US
- Edition: 1
- Language: English
- pdf
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.
Content:
Front Matter....Pages i-xvii
Front Matter....Pages 1-1
The Structure of Computer Networks....Pages 3-31
A Standard Layer Model....Pages 33-54
Front Matter....Pages 55-56
Physical Interfaces and Protocols....Pages 57-83
Front Matter....Pages 85-86
Character-Oriented Link Control....Pages 87-110
Bit-Oriented Data Link Control....Pages 111-143
Multiaccess Link Control....Pages 145-189
Front Matter....Pages 191-193
Circuit-Switched Network Layer....Pages 195-212
Packet-Switched Network Layer....Pages 213-237
Packet-Switched Network Layer for Short Messages....Pages 239-248
DNA—The Digital Network Architecture....Pages 249-296
Path Control—The Network Layer of System Network Architecture....Pages 297-326
Routing Protocols....Pages 327-359
Flow Control Protocols....Pages 361-412
Front Matter....Pages 413-414
DCNA Higher-Layer Protocols....Pages 415-436
Terminal Support Protocols....Pages 437-457
SNA Higher-Layer Protocols....Pages 459-482
Videotex Terminal Protocols....Pages 483-508
Front Matter....Pages 509-510
Internetwork Protocol Approaches....Pages 511-526
A Specific Internetwork Architecture (Pup)....Pages 527-555
Front Matter....Pages 557-559
A Survey of Formal Methods....Pages 561-578
Front Matter....Pages 557-559
Protocol Representation with Finite State Models....Pages 579-606
Specifying and Verifying Protocols Represented as Abstract Programs....Pages 607-623
A Hybrid Model and the Representation of Communication Services....Pages 625-644
Protocol Analysis and Synthesis using a State Transition Model....Pages 645-669
Executable Representation and Validation of SNA....Pages 671-705
Back Matter....Pages 707-719
Content:
Front Matter....Pages i-xvii
Front Matter....Pages 1-1
The Structure of Computer Networks....Pages 3-31
A Standard Layer Model....Pages 33-54
Front Matter....Pages 55-56
Physical Interfaces and Protocols....Pages 57-83
Front Matter....Pages 85-86
Character-Oriented Link Control....Pages 87-110
Bit-Oriented Data Link Control....Pages 111-143
Multiaccess Link Control....Pages 145-189
Front Matter....Pages 191-193
Circuit-Switched Network Layer....Pages 195-212
Packet-Switched Network Layer....Pages 213-237
Packet-Switched Network Layer for Short Messages....Pages 239-248
DNA—The Digital Network Architecture....Pages 249-296
Path Control—The Network Layer of System Network Architecture....Pages 297-326
Routing Protocols....Pages 327-359
Flow Control Protocols....Pages 361-412
Front Matter....Pages 413-414
DCNA Higher-Layer Protocols....Pages 415-436
Terminal Support Protocols....Pages 437-457
SNA Higher-Layer Protocols....Pages 459-482
Videotex Terminal Protocols....Pages 483-508
Front Matter....Pages 509-510
Internetwork Protocol Approaches....Pages 511-526
A Specific Internetwork Architecture (Pup)....Pages 527-555
Front Matter....Pages 557-559
A Survey of Formal Methods....Pages 561-578
Front Matter....Pages 557-559
Protocol Representation with Finite State Models....Pages 579-606
Specifying and Verifying Protocols Represented as Abstract Programs....Pages 607-623
A Hybrid Model and the Representation of Communication Services....Pages 625-644
Protocol Analysis and Synthesis using a State Transition Model....Pages 645-669
Executable Representation and Validation of SNA....Pages 671-705
Back Matter....Pages 707-719
....