Design and validation of computer protocols
by Gerard J. Holzmann
- 1 Want to read
This text is intended as a comprehensive guide to the design and analysis of computer communications protocols. It introduces a sound discipline for the design of complete and consistent protocol systems, independent of where they are used. This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanations of new protocol validation and design tool called SPIN. Author is in charge of protocol design at Bell Labs. Professionals who bought Tanenbaum's COMPUTER NETWORKS, 2/E and Comer's TCP/IP will buy this. This is the first book to cover automated protocol design and validation tools extensively.
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Design and validation of computer protocols
1991, Prentice Hall
Hardcover
in English
0135399254 9780135399255
|
aaaa
|
2
Design and validation of computer protocols
1991, Prentice-Hall International
in English
0135398347 9780135398340
|
zzzz
|
Book Details
Table of Contents
Edition Notes
Includes bibliographical references and indexes.
At head of title: AT & T.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Source records
amazon.com recordBetter World Books record
Library of Congress MARC record
Promise Item
marc_columbia MARC record
Harvard University record
Work Description
How to design communication protocols using the Promela language and check them with the Spin model checker.
Community Reviews (0)
Lists
| January 21, 2025 | Edited by MARC Bot | import existing book |
| August 18, 2020 | Edited by ImportBot | import existing book |
| September 8, 2012 | Edited by 100.1.118.58 | added description |
| September 8, 2012 | Edited by 100.1.118.58 | added toc |
| December 10, 2009 | Created by WorkBot | add works page |