Goodreads helps you keep track of books you want to read.
Start by marking “The Austin Protocol Compiler” as Want to Read:
The Austin Protocol Compiler
Enlarge cover
Rate this book
Clear rating
Open Preview

The Austin Protocol Compiler

0.0 of 5 stars 0.00  ·  rating details  ·  0 ratings  ·  0 reviews
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
more details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about The Austin Protocol Compiler, please sign up.

Be the first to ask a question about The Austin Protocol Compiler

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-1 of 1)
filter  |  sort: default (?)  |  rating details
Nick Black
Nick Black marked it as to-read
Jun 04, 2008
There are no discussion topics on this book yet. Be the first to start one »

Share This Book