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), bytestring, containers, mtl, parsec, pretty
LicenseBSD3
AuthorAndy Gimblett <haskell@gimbo.org.uk>
MaintainerAndy Gimblett <haskell@gimbo.org.uk>
CategoryData
Upload dateTue Jun 30 16:28:43 UTC 2009
Uploaded byAndyGimblett
Downloads557 total (43 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees