chp-spec: A mirror implementation of chp that generates a specification of the program

[ bsd3, concurrency, library ] [ Propose Tags ]

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:

Versions [RSS] [faq] 1.0.0
Dependencies base (==4.*), containers, deepseq (==1.1.*), mtl, pretty, TypeCompose (==0.7.*) [details]
License BSD-3-Clause
Copyright Copyright (c) 2009--2010, University of Kent
Author Neil Brown
Category Concurrency
Home page
Uploaded by NeilBrown at 2010-05-03T17:30:02Z
Distributions NixOS:1.0.0
Downloads 1090 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees