Mohamed G. Gouda, «The Austin Protocol Compiler»
Springer | ISBN: 0387232273 | 2004 | PDF | 142 pages | 2.95 MB
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.