Name: CSPM-FiringRules
Version: 0.1.0.0
Synopsis: Firing rules semantic of CSPM
Description:
This package contains functions for computing the transitions of a CSP process
based on the standard CSP firing rule semantic
(see The Theory and Practice of Concurrency A.W. Roscoe 1999.)
It also contains a rudimentary tracer for executing transitions,
some QuickCheck tests, and a data type for proof trees.
To use this package one has to provide instances for the classes and type families,
defined in the CSPM-CoreLanguage package.
The package contains two mock-implementations that provide these instances.
The CSPM-Interpreter package contains an other implementation.
Category: Language,Formal Methods,Concurrency
License: BSD3
License-File: LICENSE
Author: 2010 Marc Fontaine
Maintainer: Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Homepage: http://www.stups.uni-duesseldorf.de/~fontaine/csp
Stability: experimental
Tested-With: GHC == 6.12.2
cabal-Version: >= 1.6
Build-Depends:
CSPM-CoreLanguage >= 0.1 && < 0.2
,base >= 4.0 && < 5.0
,containers >= 0.3 && < 0.4
,mtl >= 1.1 && < 1.2
,QuickCheck >= 2.1 && < 2.2
,random >= 1.0 && < 1.1
build-type: Simple
GHC-Options: -funbox-strict-fields -O2 -Wall
Hs-Source-Dirs: src
Exposed-modules:
CSPM.FiringRules.Rules
CSPM.FiringRules.Verifier
CSPM.FiringRules.EnumerateEvents
CSPM.FiringRules.FieldConstraints
CSPM.FiringRules.Trace
CSPM.FiringRules.Test.Test
CSPM.FiringRules.HelperClasses
Other-modules:
CSPM.FiringRules.Test.Mock1
CSPM.FiringRules.Test.Mock2
CSPM.FiringRules.Test.Gen