Algebraic Specification of Communication Protocols

Herausgeber: Mauw, S.; Veltink, G. J.

• Broschiertes Buch

Produktbeschreibung

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

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 212
• Erscheinungstermin: 25. Juli 2008
• Englisch
• Abmessung: 244mm x 170mm x 12mm
• Gewicht: 375g
• ISBN-13: 9780521088121
• ISBN-10: 0521088127
• Artikelnr.: 24879501

Inhaltsangabe

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.