دانلود کتاب Algebraic Specification of Communication Protocols

فهرست مطالب :

Cover......Page 1
Frontmatter......Page 2
Contents......Page 6
PREFACE......Page 12
1.1 Aim and Scope......Page 14
1.2 Formal Methods......Page 15
1.3 Computer Networks......Page 16
1.4 Overview......Page 19
1.5 Bibliographical Notes......Page 20
2.2 ACP......Page 22
2.3 The History of PSF......Page 23
2.4 PSF: Syntax and Semantics......Page 24
2.5 The PSF Standard Library......Page 46
2.6 The PSF-Toolkit......Page 49
2.7 Summary......Page 58
2.8 Bibliographical Notes......Page 59
3.1 Introduction......Page 60
3.2 General Description......Page 61
3.3 Alternating Bit Protocol......Page 63
3.4 Positive Acknowledgement with Retransmission Protocol......Page 69
3.5 Concurrent Alternating Bit Protocol......Page 76
3.6 Summary......Page 82
3.7 Bibliographical Notes......Page 83
4.1 Introduction......Page 84
4.2 The `One Bit\' Protocol......Page 86
4.3 The `Pipelining with Go Back n\' Protocol......Page 96
4.4 The `Nonsequential Receive with Selective Repeat\' Protocol......Page 107
4.5 The External Behaviour of an SWP......Page 121
4.6 Summary......Page 124
4.7 Bibliographical Notes......Page 125
5.1 Introduction......Page 126
5.2 A General Description of the Amoeba Transaction Protocol......Page 127
5.3 Specification of the Amoeba Transaction Protocol......Page 132
5.5 Bibliographical Notes......Page 146
6.1 Introduction......Page 148
6.2 The Logical Link Control Interface......Page 150
6.3 A Simple Token Ring Protocol: STR......Page 155
6.4 A Simple CSMA/CD Protocol: SEN......Page 163
6.6 Bibliographical Notes......Page 173
7.2 Token Ring Network, an Introduction......Page 174
7.3 Specification of a Token Ring......Page 177
7.4 The Specification......Page 178
7.5 Summary......Page 190
7.6 Bibliographical Notes......Page 191
A.2 The Library......Page 192
B.I Context-free Syntax......Page 198
B.2 Lexical Syntax......Page 201
References......Page 202
Module Index......Page 206
Subject Index......Page 208