#

Search | Home | Alpha | Brief | Topical | Hierarchical

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.

See also objectz.

The authors are Jim Davies and Mike Spivey. The package is Copyright © 1995 Jim Davies.

License: other Catalogued: 2006-12-04

- Visit
  - Visit a nearby CTAN:/macros/latex/contrib/zed-csp. If this fails, try Cambridge.
  - Visit Cambridge:/macros/latex/contrib/zed-csp
- Download
  - Download from a nearby CTAN (automatically identified).
  - Download from Cambridge.
- Documentation
  - CSP usage documentation: csp2e.pdf.
  - Z usage documentation: zed2e.pdf.
- Distributions
  - This package is included in TeX Live.
  - This package is included in MikTeX.