The latest version of CSPM-FiringRules is 0.4.4.0-0.
CSPM-FiringRules
Version 0.3.0.3 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 - 2011 Marc Fontaine
- Bug reports
- n/a
- Category
- Language,Formal Methods,Concurrency
- Copyright
- n/a
- Homepage
- http://www.stups.uni-duesseldorf.de/~fontaine/csp
- Maintainer
- Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
- Package URL
- n/a
- Stability
- experimental