The chp-spec package

[ Tags: 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: http://chplib.wordpress.com/2010/05/03/new-chp-spec-library-released/

Properties

Versions 1.0.0
Dependencies base (==4.*), containers, deepseq (==1.1.*), mtl, pretty, TypeCompose (==0.7.*) [details]
License BSD3
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 Mon May 3 17:30:02 UTC 2010 by NeilBrown
Distributions NixOS:1.0.0
Downloads 395 total (2 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees