Using formal description techniques
an introduction to Estelle, LOTOS, and SDL
Turner, Kenneth J.
text
-uk
England
John Wiley & Sons
1993c
monographic
eng
v, 431 p. : ill. ; 23 cm.
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-----------------------------
general
Edited by Kenneth J Turner
index included
Computer programming
Formal languages
Computers
Networks
Protocols
004.6 TUR-U 1993 2968
Wiley series in communication and distributed systems
0471934550 (hbk)
131212
20191209115517.0