The Austin Protocol Compiler

奥斯汀协议编辑器

通信技术

售   价:
884.00
出  版 社
出版时间
2004年12月01日
装      帧
精装
ISBN
9780387232270
复制
页      码
142
语      种
英语
综合评分
暂无评分
我 要 买
- +
库存 100 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介

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 prot

本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个