chp-spec: A mirror implementation of chp that generates a specification of the program
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/
Modules
[Index]
Downloads
- chp-spec-1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 1.0.0 |
---|---|
Dependencies | base (>=4 && <5), containers, deepseq (>=1.1 && <1.2), mtl, pretty, TypeCompose (>=0.7 && <0.8) [details] |
Tested with | ghc ==6.10.4, ghc ==6.12.1 |
License | BSD-3-Clause |
Copyright | Copyright (c) 2009--2010, University of Kent |
Author | Neil Brown |
Maintainer | neil@twistedsquare.com |
Category | Concurrency |
Home page | http://www.cs.kent.ac.uk/projects/ofa/chp/ |
Uploaded | by NeilBrown at 2010-05-03T17:30:02Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 1289 total (2 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |