Algebraic specification of communication protocols
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, ra…
Read More ↓Title Statements
- Full title :Algebraic specification of communication protocols / edited by S. Mauw, G.J. Veltink.
Summary
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.
Read More ↓Edition Statements
- Publication Date:1993.
Publication Statements
- Publisher(s):Cambridge University Press
- Place of Publication:Cambridge
- Language:eng
- Publication Date:1993.
The Physical Object
- Description:1 online resource (xi, 197 pages) : : illustrations
Edition Identifiers
- ISBN:9780511721625, 0511721625, 0521088127, 9780521088121
- oclc:ocn715167377
- LC Classification:TK5105.55
- Dewey Decimal:004.6/2
Table of 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.
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
The internet and its protocols: a comparative approach
Zigbee wireless networking
Files & Downloads
-
Algebraic Specification of Communication Protocol…
PDF · 2.6 MB · updated -
Algebraic specification of communication protocol…
DJVU · 1.6 MB · updated
Rate & Review