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.
See also objectz.
The authors are Jim Davies and Mike Spivey. The package is Copyright © 1995 Jim Davies.
License: other-free Catalogued: 2012-03-30
Visit
Visit Dante:/macros/latex/contrib/zed-csp
Download
Documentation
CSP usage documentation: csp2e.pdf.
Distributions
This package is included in MikTeX.