Elements of Network Protocol Design

While we are all becoming familiar with the Internet, which uses the Transfer Control Protocol/Internet Protocol (TCP/IP), more and more additions and changes emerge every year, including protocols that support multimedia, encryption, and other methods of secure data transfer. 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.

MOHAMED G. GOUDA, PhD, 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.