Communication Protocols: Principles, Methods and Specifications

This book provides comprehensive coverage of the prools of communication systems. The book is divided into four parts. Part I covers the basic concepts of system and prool design and specification, overviews the models and languages for informal and formal specification of prools, and describes the specification language SDL. In the second part, the basic notions and properties of communication prools and prool stacks are explained, including the treatment of the logical correctness and the...