The chp-spec package

[Tags: bsd3, library]

This library mirrors the API of much of the CHP library, but instead of executing the program properly, using this library will generate the CSP specification of your program. See this article for details and caveats: http://chplib.wordpress.com/2010/05/03/new-chp-spec-library-released/


Properties

Version1.0.0
Dependenciesbase (==4.*), containers, deepseq (==1.1.*), mtl, pretty, TypeCompose (==0.7.*)
LicenseBSD3
CopyrightCopyright (c) 2009--2010, University of Kent
AuthorNeil Brown
Maintainerneil@twistedsquare.com
StabilityStable
CategoryConcurrency
Home pagehttp://www.cs.kent.ac.uk/projects/ofa/chp/
UploadedMon May 3 17:30:02 UTC 2010 by NeilBrown
Downloads147 total (9 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees