CTAN Comprehensive TeX Archive Network

Directory macros/latex/contrib/zed-csp

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

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.

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
Guest Book Sitemap Contact Contact Author