《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
。。。
评级： 5
浏览量： 140
资源大小： 2.84MB
上传时间： 2009-03-01
所需积分：
9
