Elements Of Network Protocol Design

This book focuses on the design and implementation of these computer network information transfer protocols. Using the Internet as a running case study throughout the book, the authors introduce a formal notation for writing network protocols and organize their discussion around protocol functions
Table of contents :
· How to Specify Network Protocols
· First Protocol Examples
· Network Processes
· More on Processes
· Transmission Errors
· Connections
· How to Specify Network Protocols
· First Protocol Examples
· Network Processes
· More on Processes
· Transmission Errors
· Connections
· Data Transfer and Multiplexing
· Error Detection
· Error Recovery
· Flow Control
· Maintaining Topology Information
· The Abstraction of Perfect Channel
· Routing
· Switching
· Congestion Control
· The Abstraction of Virtual Neighborhood
· Naming and Name Resolution
· Security
· Data Compression
· Broadcast and Multicast
· Application Structures
· Applications
· Ring Networks
· Broadcast Networks
· Protocol Layers and Hierarchies

Exercises
Bibliography
Indexes


About Author :
Mohamed G. Gouda is the Mike A. Meyers Centennial Professor in Computing Science at the University of Texas at Austin and a leading researcher in distributed and concurrent computing. His research interests include abstraction, nondeterminism, atomicity, convergence, stability, formality, correctness, and efficiency.