Algebraic Specification of Communication Protocols

Klappentext In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols. Zusammenfassung In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols. Inhaltsverzeichnis 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.

Dettagli sul prodotto

• Con la collaborazione di: S. Mauw (Editore), G. J. Veltink (Editore), Veltink G. J. (Editore)
• Autori: Sjouke Veltink Mauw, S. Mauw, S. (Technische Universiteit Eindhoven Mauw
• Editore: Cambridge University Press ELT
• Lingue: Inglese
• Contenuto: Libro
• Forma del prodotto: Tascabile
• Data pubblicazione: 11.12.2008
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Linguaggi di programmazione
• EAN: 9780521088121
• ISBN: 978-0-521-08812-1
• Numero di pagine: 212
• Serie: Cambridge Tracts in Theoretica > 36; Cambridge Tracts in Theoretical Computer Science
• Categorie: COMPUTERS / Networking / General; COMPUTERS / Machine Theory; Mathematical theory of computation; Computer networking & communications; Computer networking and communications