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.


Keywords
concurrency, formal-methods, language, library, Propose Tags, Skip to Readme, , Index, CSPM.FiringRules.EnumerateEvents, CSPM.FiringRules.EnumerateEventsList, CSPM.FiringRules.FieldConstraints, CSPM.FiringRules.FieldConstraintsSearch, CSPM.FiringRules.HelperClasses, CSPM.FiringRules.Rules, CSPM.FiringRules.Search, CSPM.FiringRules.Test.Test, CSPM.FiringRules.Trace, CSPM.FiringRules.Verifier, CSPM.FiringRules.Version, More info, CSPM-FiringRules-0.4.4.0.tar.gz, browse, Package description, Package maintainers, MarcFontaine, edit package information , Haddock documentation
License
BSD-3-Clause
Install
cabal install CSPM-FiringRules-0.4.4.0