Documentation

• Algebraic Specification of Communication Protocols
  In this book, a description of several communication protocols of varying levels of complexity, is given with the use of PSF.
  A complete chapter is dedicated to the description of PSF, its use, and some of the tools of the PSF-Toolkit.
• New Features in PSF I - Interrupts, Disrupts, and Priorities
  Description of these new features and their implementation
• New Features in PSF II - Iteration and Nesting
  Description of these new features and their implementation
• Manual pages
  Online versions of the manual pages supplied with the PSF-Toolkit.
• Simanim User Manual (gzipped PostScript)
  Describes how to make an animation for a specification. It includes a reference guide of the available functions that can be used in animations. This reference guide is also available online.