TY  - BOOK
AU  - Turner,Kenneth J.
TI  - Using formal description techniques: an introduction to Estelle, LOTOS, and SDL 
SN  - 0471934550 (hbk)
U1  - 004.6 
PY  - 1993///c
CY  - England
PB  - John Wiley & Sons
KW  - Computer programming
KW  -  Formal languages
KW  -  Computers
KW  - Networks
KW  - Protocols
N1  - index included; Chapter 1: Introducing the FDTs---------------------------------
Chapter 2: Introduction to Estelle-------------------------------
Chapter 3: Introduction to LOTOS-----------------------------
Chapter 4: Introduction to SDL---------------------------------
Chapter 5: Daemon Game--------------------------------
Chapter 6: Unreliable Medium-----------------------------
Chapter 7: Sliding Window Protocol--------------------------
Chapter 8: Abracadabra Protocol-----------------------------
Chapter 9: Development with ESTELLE---------------------------
Chapter 10: Development with LOTOS-----------------------------
Chapter 11: Development with SDL-----------------------------
ER  -