Goodreads helps you keep track of books you want to read.
Start by marking “The Austin Protocol Compiler” as Want to Read:
See a Problem?
We’d love your help. Let us know what’s wrong with this preview of The Austin Protocol Compiler by Tommy M. McGuire.
Not the book you’re looking for?
Preview — The Austin Protocol Compiler by Tommy M. McGuire
The Austin Protocol Compiler
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 ...more
Hardcover, 141 pages
Published November 19th 2004 by Springer
To see what your friends thought of this book, please sign up.