Algebraic Specification of Communication Protocols
Algebraic Specification of Communication Protocols
G. J. Veltink , Universiteit van Amsterdam
Looking for an inspection copy?
This title is not currently available for inspection. However, if you are interested in the title for your course we can consider offering an inspection copy. To register your interest please contact [email protected] providing details of the course you are teaching.
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.
- Authors are leading researchers
- Book will be useful to professionals
Product details
March 2011Adobe eBook Reader
9780511881039
0 pages
0kg
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Table of Contents
- 1. Introduction
- 2. Algebraic specifications in PSF
- 3. Simple protocols
- 4. Sliding window protocols
- 5. The amoeba transaction protocol
- 6. Two simple protocols for local area networks
- 7. The token ring protocol
- The PSF library.
