Algebraic specification of communication protocols / edited by S. Mauw, G.J. Veltink

MAUW, S

ISBN 10: 0521418836 / ISBN 13: 9780521418836

Editore: Cambridge : Cambridge University Press, 1993

Riguardo questo articolo

Fine copy in the original colour-printed boards. Remains particularly well-preserved overall; tight, bright, clean and strong. Physical description xi, 197 pages. Subject: Computer network protocols. Computer network protocols Standards. Computer network protocols. TELECOMMUNICATION. NETWORKS CIRCUITS. Computer science. 1 Kg. Codice articolo 383675

Dati bibliografici

Titolo: Algebraic specification of communication ...

Casa editrice: Cambridge : Cambridge University Press

Data di pubblicazione: 1993

Legatura: Rilegato

Edizione: First Edition.

Descrizione articolo

Riassunto:

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.

Descrizione del libro:

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.