The fsmActions package
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
| Versions | 0.1, 0.2.0, 0.3.0, 0.4.0, 0.4.1, 0.4.2, 0.4.3 |
|---|---|
| Dependencies | base (≥3 & <5), bytestring, containers, mtl, parsec, pretty |
| License | BSD3 |
| Author | Andy Gimblett <haskell@gimbo.org.uk> |
| Maintainer | Andy Gimblett <haskell@gimbo.org.uk> |
| Category | Data |
| Upload date | Tue Jun 30 16:28:43 UTC 2009 |
| Uploaded by | AndyGimblett |
| Built on | ghc-6.10, ghc-6.12 |
Modules
Downloads
- fsmActions-0.1.tar.gz (Cabal source package)
- package description (included in the package)