The latest version of CSPM-FiringRules is 0.4.4.0-0.

CSPM-FiringRules

Version 0.4.3.0 revision 0 uploaded by MarcFontaine.

Package meta

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.

Author
2010 - 2014 Marc Fontaine
Bug reports
n/a
Category
Language,Formal Methods,Concurrency
Copyright
n/a
Homepage
n/a
Maintainer
Marc Fontaine <Marc.Fontaine@gmx.de>
Package URL
n/a
Stability
experimental

Components