发帖
雷达卡
Algebraic Specification of Communication Protocols
— 通信协议的代数规范
— [url=]S. Mauw;[/url][url=]G. J. Veltink[/url]
图书详细信息
- 丛书名 ： Cambridge Tracts in Theoretical Computer Science
- 中图分类号： TP3
- 语种： ENG
- 出版信息： [url=]Cambridge University Press[/url] 1993 211页
- EISBN： 9780511881039
- PISBN-P： 9780521088121
- PISBN-H：9780521418836
4.19 KG评星
5 CAT核心级
内容简介
Modern computer networks now circle the world, but the transmission of information between them depends on the many different protocols that define the behaviour of the sender and receiver. It is clear therefore, that the accurate description of these protocols is important if harmonious communication is to be maintained. In this book the authors use the formal specification language PSF to provide an unambiguous description of several communication protocols of varying levels of complexity, ranging from the alternating bit protocol to the token ring protocol. Beginners, as well as professionals in the field of communication protocols, will benefit from both the methods of specification described and the protocols discussed in this book.
京公网安备 11010802022788号
