Design and Validation of Computer Protocols

Design and Validation of Computer Protocols
Author :
Publisher :
Total Pages : 520
Release :
ISBN-10 : UOM:39015018988124
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Design and Validation of Computer Protocols by : Gerard J. Holzmann

Download or read book Design and Validation of Computer Protocols written by Gerard J. Holzmann and published by . This book was released on 1991 with total page 520 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Design and Validation of Computer Protocols Related Books

Design and Validation of Computer Protocols
Language: en
Pages: 520
Authors: Gerard J. Holzmann
Categories: Computers
Type: BOOK - Published: 1991 - Publisher:

DOWNLOAD EBOOK

This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol
Protocol Specification, Testing and Verification XV
Language: en
Pages: 452
Authors: Piotr Dembinski
Categories: Technology & Engineering
Type: BOOK - Published: 2016-01-09 - Publisher: Springer

DOWNLOAD EBOOK

This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proce
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 452
Authors: Ed Brinksma
Categories: Computers
Type: BOOK - Published: 1997-03-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '
Protocol Specification, Testing and Verification, XII
Language: en
Pages: 434
Authors: R.J. Linn
Categories: Computers
Type: BOOK - Published: 2016-09-20 - Publisher: Elsevier

DOWNLOAD EBOOK

For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 622
Authors: Kurt Jensen
Categories: Computers
Type: BOOK - Published: 2004-03-09 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TAC