Algebraic Specification Protocols - Brossura

Mauw, S.

 
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
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia

Altre edizioni note dello stesso titolo

9780521418836: Algebraic Specification of Communication Protocols

Edizione in evidenza

ISBN 10:  0521418836 ISBN 13:  9780521418836
Casa editrice: Cambridge University Press, 1993
Rilegato