CTAN Comprehensive TeX Archive Network

zed-csp – Typesetting Z and CSP format specifications

The pack­age sup­ports real-time CSP and in­cor­po­rates the func­tion­al­ity of Spivey's orig­i­nal Z pack­age, writ­ten for 2.09.

Sources/macros/latex/contrib/zed-csp
Doc­u­men­ta­tion
Li­censesFree li­cense not oth­er­wise listed
Copy­right1995 Jim Davies
Main­tainerJim Davies
Mike Spivey
Con­tained inTeX Live as zed-csp
MiKTeX as zed-csp
TopicsFor­mal spec­i­fi­ca­tion
See alsoobjectz

Down­load the con­tents of this pack­age in one zip archive (242.7k).

Com­mu­nity Com­ments

Load­ing...
Guest Book Sitemap Contact Contact Author