Using Formal Description Techniques -
An Introduction to Estelle, LOTOS and SDL
This book was originally published by John Wiley and Sons in January 1993. When the book went out of print, Wiley kindly passed the copyright to the editor who republished the book in April 2015. This is available online in PDF format. This version may not be identical typographically to the original book. Limited permission is given to individuals to copy it for their own private, non-commercial use.
The complete set of example files from this book was published on disc by John Wiley. Note that these files are copyrighted by John Wiley and Sons Ltd. Nonetheless, limited permission is given to individuals to copy the on-line files below for their own private, non-commercial use.
The following files are available in source form. All files are plain text with Unix end-of-line. (On Windows, editors such as jEdit or Wordpad but not Notepad should cope with this.) Some files (figures) require LaTeX or PicTeX to view them. Some files (specifications) need a suitable tool to process them (e.g. CADP for LOTOS, Tau for SDL).
Get the Introduction for general information on the file naming conventions and other information. The files are collected into directories corresponding to chapters in the book.
Up one level to Ken
Turner - Selected Publications