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.
| CTAN path | /macros/latex/contrib/zed-csp |
|---|---|
| Documentation |
CSP usage documentation Z usage documentation |
| License | Free license not otherwise listed, or more than one free license applies |
| Copyright | 1995 Jim Davies |
| Maintainer | Jim Davies Mike Spivey |
| Contained in | TeXLive as zed-csp |
| MiKTeX as zed-csp | |
| Topics |
typeset formal specification languages |
| See also |
objectz |