Menu
Află starea comenzii
Contactați-ne
Carte The Austin Protocol Compiler Tommy M. McGuire

The Austin Protocol Compiler

Autor: Tommy M. McGuire, Mohamed G. Gouda
Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 8-11 zile
551.23 lei
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...

Informații despre carte

Autor
Tommy M. McGuire, Mohamed G. Gouda
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2010
Pagini
141
EAN
9781441935885
ISBN
1441935886
Enbook ID
01422178
Editura
Springer, Berlin
Greutate
246
Dimensiuni
155 x 234 x 235

Descriere completă

The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. The Austin Protocol Compiler illustrates that two types of semantics of TAP are equivalent. Thus, the correctness of TAP specification of some protocol, that is established based on the abstract semantics of TAP, is maintained when this specification is implemented based on concrete semantics of TAP. The equivalence suggests the following for developing a correct implementation of a protocol: §1. Specify the protocol using the TAP notation.§2. Verify the correctness of the specification based on the abstract semantics of TAP.§3. Implement the specification based on the concrete semantics of TAP.§For step 3, this book introduces the Austin Protocol Compiler (APC) that takes as input, a TAP specification of some protocol, and produces as output C-code that implements this protocol based on the concrete semantics of TAP.-The Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. This book will finally close the communication gap between the protocol verifiers and the protocol implementers. §The TAP notation uses two types of semantics: an abstract semantics that appeals to the protocol verifiers and a concrete semantics which appeals to the protocol implementers. The Austin Protocol Compiler illustrates that the two types of semantics of TAP are equivalent. Thus, the correctness of TAP specification of some protocol, that is established based on the abstract semantics of TAP, is maintained when this specification is implemented based on concrete semantics of TAP. The equivalence between the abstract and concrete semantics of TAP suggests the following three-step method for developing a correct implementation of a protocol in this book: §1. Specify the protocol using the TAP notation.§2. Verify the correctness of the specification based on the abstract semantics of TAP§3. Implement the specification based on the concrete semantics of TAP§For step 3, this book introduces the Austin Protocol Compiler (APC) that takes as input, a TAP specification of some protocol, and produces as output C-code that implements this protocol based on the concrete semantics of TAP. §The Austin Protocol Compiler is designed for a professional audience composed of protocol designers, verifiers, reviewers and implementers. This volume is also suitable for graduate-level students in computer science and electrical engineering.

S-ar putea să te intereseze

Colombian Varieties of Spanish

Rafael Orozco
138.03 lei

Writing Greek Law

Michael Gagarin
708.30 lei

Memoirs of the Life and Writings of the Abate Metastasio

Charles BurneyPietro Metastasio
286.64 lei

American Ascendance and British Retreat in the Persian Gulf Region

W Fain
296.72 lei

How I Got Him Back

Valerie Sayers
84.52 lei

Fifty Years of Research on Brazil

Mark J Curran
82.91 lei

Controlled Burn: Stories of Prison, Crime, and Men

Scott Wolven
75.15 lei

Locally Convex Quasi *-Algebras and their Representations

Camillo Trapani
297.52 lei

Reflections on violence

Georges Sorel
167.65 lei

House at Phantom Park

Graham Masterton
114.95 lei

A life like mine that's impossible

HAMDAN
116.46 lei

Voodoo Shack

Terri Martin
73.24 lei

Clienții care au cumpărat această carte au mai cumpărat și

Abnehmen leicht gemacht - Das 2 Low Days Prinzip

Dantse Dantse
76.36 lei

Therapeuteneffekte auf Outcome, Sitzungsanzahl und Dropout

Brian Schwartz
245.03 lei

Taneli Kaneli lomalla

Marttinen Tittamari Marttinen
30.42 lei