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

Near fine copy in the original colour-printed boards. Slightest suggestion only of dust-dulling to the spine bands and panel edges. Remains particularly well-preserved overall; tight, bright, clean and strong. Physical description; xi, 197 pages. Notes; Includes bibliographical references and indexes. Contents; 1. Introduction / S. Mauw and G.J. Veltink -- 2. Algebraic Specifications in PSF / G.J. Veltink -- 3. Simple Protocols / J.J. van Wamel -- 4. Sliding Window Protocols / J.J. Brunekreef -- 5. The Amoeba Transaction Protocol / J.J. Brunekreef -- 6. Two Simple Protocols for Local Area Networks / J.J. Brunekreef -- 7. The Token Ring Protocol / H. Jacobsson and S. Mauw -- A: The PSF Library -- B: Syntax of PSF. Subjects; Computer network protocols. Algebra. Computer networks ; Specifications. PROTOCOLS. TELECOMMUNICATION / TELECOMMUNICATIONS. NETWORKS CIRCUITS. Computer science. Telecommunication systems. 1 Kg.

Codice articolo 433380

Dati bibliografici

• Titolo: Algebraic specification of communication protocols / edited by S. Mauw, G.J. Veltink
• Editore: Cambridge : Cambridge University Press
• Data di pubblicazione: 1993
• Lingua: Inglese
• ISBN 10: 0521418836
• ISBN 13: 9780521418836
• Rilegatura: Rilegato
• Edizione: First Edition.

Descrizione articolo

Riassunto

In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.

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.