@hackage / chp-spec

A mirror implementation of chp that generates a specification of the program

Latest1.0.0

About

Metadata

  • Last updated , by NeilBrown
  • License BSD-3-Clause
  • Categories Concurrency

  • Maintained by: neil@twistedsquare.com

  • Lottery factor: 0

Links

Installation

Readme

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/