@hackage CSPM-FiringRules0.4.4.0
Firing rules semantic of CSPM
Categories
License
BSD-3-Clause
Maintainer
Marc Fontaine <Marc.Fontaine@gmx.de>
Links
Versions
Installation
Dependencies (8)
- CSPM-CoreLanguage >=0.3 && <0.4
- QuickCheck >=2.6 && <2.11
- base >=4.0 && <5.0
- containers >=0.5 && <0.6
- mtl >=2.1 && <2.3
- parallel-tree-search >=0.4 && <0.5 Show all…
Dependents (2)
@hackage/CSPM-cspm, @hackage/acme-everything
Package Flags
quickcheck
(on by default)
enable QuickCheck tests
CSPM-FiringRules
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.