Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science, Series Number 36) - Softcover

 
9780521088121: Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science, Series Number 36)

Synopsis

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.

"synopsis" may belong to another edition of this title.

Book Description

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.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780521418836: Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science, Series Number 36)

Featured Edition

ISBN 10:  0521418836 ISBN 13:  9780521418836
Publisher: Cambridge University Press, 1993
Hardcover