Algebraic Specification of Communication Protocols

✍ Scribed by S. Mauw, G. J. Veltink (editors)

• Publisher: Cambridge University Press
• Year: 2008
• Tongue: English
• Leaves: 210
• Series: Cambridge Tracts in Theoretical Computer Science 36
• Category: Library

✦ Synopsis

Modern computer networks now circle the world, but the transmission of information among them depends on the many different protocols that define the behavior 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.

✦ Table of Contents

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<br>4.3 ThePipelining 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