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.
| Sources | /macros/latex/contrib/zed-csp |
| Documentation | |
| Licenses | Free license not otherwise listed |
| Copyright | 1995 Jim Davies |
| Maintainer | Jim Davies Mike Spivey |
| Contained in | TeX Live as zed-csp MiKTeX as zed-csp |
| Topics | Formal specification |
| See also | objectz |
Download the contents of this package in one zip archive (242.7k).
Suggestions
Maybe you are interested in the following packages as well.
Community Comments