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/
Upload dateMon May 3 17:30:02 UTC 2010
Uploaded byNeilBrown
Downloads94 total (9 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees