资源大小： 2.84MB
发布时间： 2009-03-01
文件格式： rar
下载次数： 1
分享到：

下载地址：

下载地址1
（本站为飞网专业下载站，域名：down.cfei.net）

资源简介：

《Principles of Protocol Design》(2008)协议设计原则方面的一本新书。给需要的朋友参考。以下为电子图书资料发贴选项：【原书作者】： Robin Sharp【ISBN 】： 3540775404【页数 】：402【开本 】 ：16【出版社】 ：Springer 【出版日期】：2008-03-01 【文件格式】：PDF【封面附图】：附件【摘要或目录】： 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.1 What is a Protocol? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 Protocols as Processes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.3 Techniques for Actual Protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41.4 Real Protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41.5 Reader’s Guide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 CSP Descriptions and Proof Rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.1 Processes and Process Synchronisation . . . . . . . . . . . . . . . . . . . . . . . . 82.1.1 Process Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92.1.2 Process Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132.1.3 Process Expressions for Process Networks . . . . . . . . . . . . . . . 202.2 Channel History Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262.2.1 Transitions and Traces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262.2.2 Inference Rules for Specifications Based on Traces . . . . . . . . 292.3 Failure Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 353 Protocols and Services . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 453.1 Providing a Service . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 483.1.1 Proving the Protocol Correct . . . . . . . . . . . . . . . . . . . . . . . . . . . 503.1.2 Structuring your Proof . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 543.2 Service Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 553.2.1 Sequence Preservation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 563.2.2 Data Unit Synchronisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 563.2.3 Flow Control . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 563.2.4 Freedom from Error . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 573.2.5 Service Reset . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 583.2.6 Connection Establishment and Release . . . . . . . . . . . . . . . . . . 583.2.7 Change of Mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 603.2.8 Information about Peer Change of State . . . . . . . . . . . . . . . . . 623.2.9 Expedited Data . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63。。。


飞网下载站，免费下载共享资料，内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。