Name: chp-spec Version: 1.0.0 Synopsis: A mirror implementation of chp that generates a specification of the program License: BSD3 License-file: LICENSE Author: Neil Brown Maintainer: neil@twistedsquare.com Copyright: Copyright (c) 2009--2010, University of Kent Stability: Stable Tested-with: GHC==6.10.4, GHC==6.12.1 Description: 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: Homepage: http://www.cs.kent.ac.uk/projects/ofa/chp/ Category: Concurrency Cabal-Version: >= 1.2.3 Build-Type: Simple Build-Depends: base >= 4 && < 5, containers, deepseq >= 1.1 && < 1.2, mtl, pretty, TypeCompose >= 0.7 && < 0.8 Exposed-modules: Control.Concurrent.CHPSpec Control.Concurrent.CHPSpec.Alt Control.Concurrent.CHPSpec.Barriers Control.Concurrent.CHPSpec.Channels Control.Concurrent.CHPSpec.Channels.Communication Control.Concurrent.CHPSpec.Channels.Creation Control.Concurrent.CHPSpec.Channels.Ends Control.Concurrent.CHPSpec.Channels.Synonyms Control.Concurrent.CHPSpec.Enroll Control.Concurrent.CHPSpec.LazySmallCheck Control.Concurrent.CHPSpec.Monad Control.Concurrent.CHPSpec.Parallel Other-modules: Control.Concurrent.CHPSpec.Base Control.Concurrent.CHPSpec.CSP Control.Concurrent.CHPSpec.Channels.Base Control.Concurrent.CHPSpec.Process Control.Concurrent.CHPSpec.Print Control.Concurrent.CHPSpec.Spec Extensions: BangPatterns DeriveDataTypeable FlexibleContexts FlexibleInstances MultiParamTypeClasses Rank2Types ScopedTypeVariables TypeSynonymInstances GHC-Options: -Wall -auto-all