CTAN Comprehensive TeX Archive Network

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 2.09.

Sources/macros/latex/contrib/zed-csp
Documentation
LicensesFree license not otherwise listed
Copyright1995 Jim Davies
MaintainerJim Davies
Mike Spivey
Contained inTeX Live as zed-csp
MiKTeX as zed-csp
TopicsFormal specification
See alsoobjectz

Download the contents of this package in one zip archive (242.7k).

Community Comments

Loading...
Guest Book Sitemap Contact Contact Author