Design And Validation Of Computer Protocols PDF Print E-mail

Author: Gerard J. Holzmann

ISBN: 0135399254

This text is intended as a guide to protocol design and analysis, rather than as a guide to standards and formats. It discusses design issues instead of applications. Two issues, therefore, are beyond the scope of this text: network control and implementation. There is, however, no shortage of texts on both topics. The aim of the book is to make you familiar with all the issues of protocol validation and protocol design.