Algebraic specification of communication protocols
Éditeur :
Cambridge University Press
ISBN :
9780521088121
Date de publication :
11 déc. 2008
Dimensions :
21,0 x 15,0 x 1,1 cm
Poids :
350 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.