Austin protocol compiler, the
Auteur :
Mc / McGuire, Tommy M.
Éditeur :
McGuire, Tommy M.Gouda, Mohamed G.,
ISBN :
9780387232270
Date de publication :
19 nov. 2004
Dimensions :
23,4 x 15,6 x 1,1 cm
Poids :
405 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. This book illustrates that two types of semantics of TAP are equivalent.