The fsmActions package

[Tags: bsd3, library]

This is a library for representing and manipulating finite state machines (FSMs) in Haskell, with an emphasis on computing the effects of sequences of transitions across entire machines (which we call actions), and in particular investigating action equivalences between such sequences.


Properties

Versions0.1, 0.2.0, 0.3.0, 0.4.0, 0.4.1, 0.4.2, 0.4.3, 0.4.4
Dependenciesbase (>=3 && <5), containers, fgl (>=5.4.2.3), filepath, graphviz (>=2999.11.0.0), MissingH, mtl, parsec (>=3), pretty
LicenseBSD3
CopyrightAndy Gimblett <haskell@gimbo.org.uk>
AuthorAndy Gimblett <haskell@gimbo.org.uk>
MaintainerAndy Gimblett <haskell@gimbo.org.uk>
StabilityAlpha
CategoryData
Home pagehttp://projects.haskell.org/fsmActions/
Source repositoryhead: darcs get http://code.haskell.org/fsmActions
Upload dateWed Jul 20 14:15:38 UTC 2011
Uploaded byAndyGimblett
Downloads591 total (34 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees