The chp-spec package
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
| Version | 1.0.0 |
|---|---|
| Dependencies | base (4.*), containers, deepseq (1.1.*), mtl, pretty, TypeCompose (0.7.*) |
| License | BSD3 |
| Copyright | Copyright (c) 2009--2010, University of Kent |
| Author | Neil Brown |
| Maintainer | neil@twistedsquare.com |
| Stability | Stable |
| Category | Concurrency |
| Home page | http://www.cs.kent.ac.uk/projects/ofa/chp/ |
| Upload date | Mon May 3 17:30:02 UTC 2010 |
| Uploaded by | NeilBrown |
| Built on | ghc-6.12, ghc-7.0 |
Modules
Downloads
- chp-spec-1.0.0.tar.gz (Cabal source package)
- package description (included in the package)