Directory tex-archive/macros/latex/contrib/zed-csp
Files
| Name | Size | Date | Notes |
|---|---|---|---|
csp2e.pdf |
112501 | 2005-08-06 04:26:52 | |
csp2e.tex |
14892 | 1995-09-12 01:00:00 | |
zed-csp.sty |
31787 | 1995-09-12 01:00:00 | |
|
zed2e.pdf |
147037 | 2005-08-06 04:26:58 | |
|
zed2e.tex |
26545 | 1995-09-12 01:00:00 |
Download the complete
contents of this directory in one zip archive
(242.7k).
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.
| 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 |