Algebraic Specification of Communication Protocols (Paperback)

S. Mauw

ISBN 10: 0521088127 / ISBN 13: 9780521088121

Verlag: Cambridge University Press, Cambridge, 2008

Beschreibung

Paperback. Modern computer networks now circle the world, but the transmission of information between them depends on the many different protocols that define the behaviour 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. In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9780521088121

Bibliografische Details

Titel: Algebraic Specification of Communication ...

Verlag: Cambridge University Press, Cambridge

Erscheinungsdatum: 2008

Einband: Paperback

Zustand: new

Über diesen Titel

Inhaltsangabe:

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.

Reseña del editor:

Modern computer networks now circle the world, but the transmission of information between them depends on the many different protocols that define the behaviour 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.