×

Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

Algebraic Specification of Communication Protocols
     

Algebraic Specification of Communication Protocols

by S. Mauw (Editor), G. J. Veltink (Editor)
 

See All Formats & Editions

Modern computer networks now circle the world, but the transmission of information among them depends on the many different protocols that define the behavior of the sender and receiver. It is clear therefore, that the accurate description of these protocols is important if harmonious communication is to be maintained. In this book the authors use the formal

Overview

Modern computer networks now circle the world, but the transmission of information among them depends on the many different protocols that define the behavior of the sender and receiver. It is clear therefore, that the accurate description of these protocols is important if harmonious communication is to be maintained. In this book the authors use the formal specification language PSF to provide an unambiguous description of several communication protocols of varying levels of complexity, ranging from the alternating bit protocol to the token ring protocol. Beginners, as well as professionals in the field of communication protocols, will benefit from both the methods of specification described, and the protocols discussed in this book.

Product Details

ISBN-13:
9780521088121
Publisher:
Cambridge University Press
Publication date:
12/11/2008
Series:
Cambridge Tracts in Theoretical Computer Science Series
Pages:
212
Product dimensions:
6.70(w) x 9.50(h) x 0.60(d)

Customer Reviews

Average Review:

Post to your social network

     

Most Helpful Customer Reviews

See all customer reviews