文件名称：Principles of Protocol Design
文件大小：2.84MB
文件格式：RAR
更新时间：2012-03-21 17:13:42
Protocol Design
《Principles of Protocol Design》(2008) 协议设计原则方面的一本新书。给需要的朋友参考。 以下为电子图书资料发贴选项： 【原书作者】： Robin Sharp 【ISBN 】： 3540775404 【页数 】：402 【开本 】 ：16 【出版社】 ：Springer 【出版日期】：2008-03-01 【文件格式】：PDF 【封面附图】：附件 【摘要或目录】： 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1 What is a Protocol? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Protocols as Processes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Techniques for Actual Protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.4 Real Protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.5 Reader’s Guide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2 CSP Descriptions and Proof Rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.1 Processes and Process Synchronisation . . . . . . . . . . . . . . . . . . . . . . . . 8 2.1.1 Process Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.1.2 Process Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.1.3 Process Expressions for Process Networks . . . . . . . . . . . . . . . 20 2.2 Channel History Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.2.1 Transitions and Traces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.2.2 Inference Rules for Specifications Based on Traces . . . . . . . . 29 2.3 Failure Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 3 Protocols and Services . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 3.1 Providing a Service . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 3.1.1 Proving the Protocol Correct . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 3.1.2 Structuring your Proof . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 3.2 Service Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 3.2.1 Sequence Preservation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 3.2.2 Data Unit Synchronisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 3.2.3 Flow Control . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 3.2.4 Freedom from Error . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 3.2.5 Service Reset . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 3.2.6 Connection Establishment and Release . . . . . . . . . . . . . . . . . . 58 3.2.7 Change of Mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 3.2.8 Information about Peer Change of State . . . . . . . . . . . . . . . . . 62 3.2.9 Expedited Data . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 。。。
【文件预览】：
diane.pdf