Using formal description techniques : an introduction to Estelle, LOTOS, and SDL / Edited by Kenneth J Turner
Material type: TextSeries: Wiley series in communication and distributed systemsPublication details: England : John Wiley & Sons , 1993cDescription: v, 431 p. : ill. ; 23 cmISBN: 0471934550 (hbk)Subject(s): Computer programming | Formal languages | Computers -- Networks -- ProtocolsDDC classification: 004.6Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 004.6 TUR-U 1993 2968 (Browse shelf (Opens below)) | Available | 0002968 |
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-----------------------------
There are no comments on this title.