The libcspm package

[Tags: bsd3, library]

This library provides a parser, type checker and evaluator for machine CSP. The parser is designed to be compatible with FDR2 and, in particular, deals with the ambiguity between greater than and end of sequence in the same way (as far as possible, see CSPM.Parser for more information). The typechecker is as liberal as it is possible to make a typechecker without making typechecking undecidable. Documentation on the type system is forthcoming. The evaluator is relatively experimental, but should be able to evaluate any CSPM expression that FDR2 can. The output of this phase (if a process is evaluated) is a tree of CSP (note not CSPM) operator applications which should be suitable for input into a refinement checker, or other process algebraic tool.

The main module of interest will be the CSPM module. This packages up most of the functionality of the library in an easy to use, relatively high level format. See CSPM for an example of how to use this module.

Version Numbering Policy: point releases (i.e. from x.y.z to x.y.z') are guaranteed to be backwards compatible. Minor releases (i.e. from x.y.z to x.y.z) will not be backwards compatible, but should be relatively easy to port to. Major changes (i.e. from x.y.z to x.y'.z) will not be backwards compatible and may include large API redesigns.


Properties

Versions0.1, 0.1.1, 0.1.2, 0.2.0, 0.2.1, 1.0.0
Dependenciesarray (>=0.3), base (==4.*), bytestring (>=0.9), containers (>=0.4), directory (>=1.0), filepath (>=1.2), graph-wrapper (>=0.2), mtl (>=2.0), pretty (>=1.0), value-supply (>=0.6)
LicenseBSD3
Copyright(c) 2011 Thomas Gibson-Robinson
AuthorThomas Gibson-Robinson <thomas.gibsonrobinson@gmail.com>
MaintainerThomas Gibson-Robinson <thomas.gibsonrobinson@gmail.com>
CategoryConcurrency
Home pagehttps://github.com/tomgr/libcspm
Bug trackerhttps://github.com/tomgr/libcspm/issues
Source repositoryhead: git clone https://github.com/tomgr/libcspm
this: git clone https://github.com/tomgr/libcspm(tag release-0.2.0)
Upload dateTue Jan 3 19:50:20 UTC 2012
Uploaded byThomasGibsonRobinson
Downloads400 total (35 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees