Principles of Protocol Design

This book introduces the reader to the principles used in the construction of a large range of modern data communication prools. The approach we take is rather a formal one, primarily based on descriptions of prools in the notation of CSP. This not only enables us to describe prools in a concise manner, but also to reason about many of their interesting properties and formally to prove certain aspects of their correctness with respect to appropriate specifications. Only after considering th...