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

Export the package reference as file

Community Comments

Loading...
Guest Book Sitemap Contact Contact Author