The TeX Catalogue Online

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-free Catalogued: 2008-04-05