Name: CSPM-CoreLanguage Version: 0.3.1.0 Synopsis: Definition of a CSP core-language. Description: This package contains an interface for the CSP core-language. It defines processes, events, event sets, and a domain specific language for process operations like parallel or interleaving processes. Category: Language,Formal Methods,Concurrency License: BSD3 License-File: LICENSE Author: 2010 - 2017 Marc Fontaine Maintainer: Marc Fontaine Stability: experimental Tested-With: GHC == 8.2.1 Cabal-Version: >= 1.24 Build-Type: Simple Extra-Source-Files: README.md Source-Repository head type: git location: git://github.com/MarcFontaine/cspm Library Build-Depends: base >= 4.0 && < 5.0 Default-Language: Haskell2010 GHC-Options: -funbox-strict-fields -O2 -Wall Hs-Source-Dirs: src Exposed-modules: CSPM.CoreLanguage CSPM.CoreLanguage.Event CSPM.CoreLanguage.Process CSPM.CoreLanguage.ProcessWrapper CSPM.CoreLanguage.Field Other-Modules: Paths_CSPM_CoreLanguage