Algebraic Specification of Communication Protocols

S. Mauw (u. a.)

ISBN 10: 0521088127 / ISBN 13: 9780521088121

Published by Cambridge University Press, 2008

About this Item

Algebraic Specification of Communication Protocols | S. Mauw (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2008 | Cambridge University Press | EAN 9780521088121 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.

Seller Inventory # 101756487

Bibliographic Details

• Title: Algebraic Specification of Communication Protocols
• Publisher: Cambridge University Press
• Publication Date: 2008
• Language: English
• ISBN 10: 0521088127
• ISBN 13: 9780521088121
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 244W x 170H x 12D millimeters 244 millimeters width by 170 millimeters height by 12 millimeters depth
• Weight: 375 grams
• Seller catalogs:
  • Bücher

About this title

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.

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.