name: CSPM-FiringRules
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.
license_spdx: BSD-3-Clause
version: 0.4.4.0
spec_version: 1.0
download_url: http://hackage.haskell.org/package/CSPM-FiringRules-0.4.4.0/CSPM-FiringRules-0.4.4.0.tar.gz
news_url: https://libraries.io/hackage/CSPM-FiringRules/versions.atom
date: 2017-10-26
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/CSPM-FiringRules?number=0.4.4.0
