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 PublicationsLast Update: 12th January 2010