zed-csp – Typesetting Z and CSP format specifications
The package supports real-time CSP and incorporates the functionality of Spivey's original Z package, written for LaTeX 2.09.
|Licenses||Free license not otherwise listed|
|Copyright||1995 Jim Davies|
|Contained in||TeX Live as zed-csp|
MiKTeX as zed-csp
Download the contents of this package in one zip archive (242.7k).
Maybe you are interested in the following packages as well.
- vdmlisting: Typesetting VDM in ASCII syntax
- ebnf: Simple package for EBNF productions
- tds: The TeX Directory Structure standard
- fixmath: Make maths comply with ISO 31-0:1992 to ISO 31-13:1992