Articoli correlati a Algebraic Specification Protocols

9780521088121: Algebraic Specification Protocols
Brossura
ISBN 10: 0521088127 ISBN 13: 9780521088121
Casa editrice: Cambridge University Press, 2008

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

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.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Cambridge University Press
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
0521088127
ISBN 13 
9780521088121
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
212
Contatto del produttore
non disponibile
Persona responsabile
GPSR Kontakt
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Germania