Computer Network Architectures and Protocols

1. Higher-Layer Protocols

   1. Terminal Support Protocols

      • John D. Day

      Pages 437-457

   2. SNA Higher-Layer Protocols

      • Verlin L. Hoberecht

      Pages 459-482

   3. Videotex Terminal Protocols

      • Paul E. Green Jr.

      Pages 483-508

2. Network Interconnection

   1. Front Matter

      Pages 509-510

      PDF

   2. Internetwork Protocol Approaches

      • Jonathan B. Postel

      Pages 511-526

   3. A Specific Internetwork Architecture (Pup)

      • David R. Boggs, John F. Shoch, Edward A. Taft, Robert M. Metcalfe

      Pages 527-555

3. Formal Specifications and Their Manipulation

   1. Front Matter

      Pages 557-559

      PDF

   2. A Survey of Formal Methods

      • Gregor V. Bochmann, Carl A. Sunshine

      Pages 561-578

   3. Protocol Representation with Finite State Models

      • André A. S. Danthine

      Pages 579-606

   4. Specifying and Verifying Protocols Represented as Abstract Programs

      • Brent T. Hailpern

      Pages 607-623

   5. A Hybrid Model and the Representation of Communication Services

      • Gregor V. Bochmann

      Pages 625-644

   6. Protocol Analysis and Synthesis using a State Transition Model

      • Pitro Zafiropulo, Colin H. West, Harry Rudin, D. D. Cowan, Daniel Brand

      Pages 645-669

   7. Executable Representation and Validation of SNA

      • Gary D. Schultz, David B. Rose, Colin H. West, James P. Gray

      Pages 671-705

4. Back Matter

   Pages 707-719

   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.

• Modulation
• communication
• computer
• network
• signal
• transmission

• IBM Corporation, Yorktown Heights, USA

  Paul E. Green

Policies and ethics