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.
|License||Free license not otherwise listed, or more than one free license applies|
|Contained in||TeX Live as zed-csp|
|MiKTeX as zed-csp|
typeset formal specification languages|
Download the contents of this package in one zip archive (242.7k).
Maybe you are interested in the following packages as well.
- vdm: Typesetting VDM schemas
- bnf-plain: Plain TeX macros for BNF grammars
- dvistd: A standard for DVI drivers
- gensymb: Generic symbols for both text and math mode