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

[ bsd3, concurrency, library ] [ Propose Tags ]
Versions [RSS] 1.0.0
Dependencies base (>=4 && <5), containers, deepseq (>=1.1 && <1.2), mtl, pretty, TypeCompose (>=0.7 && <0.8) [details]
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 NixOS:1.0.0
Downloads 1204 total (5 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]