| Copyright | (c) Fontaine 2010 - 2011 |
|---|---|
| License | BSD |
| Maintainer | Fontaine@cs.uni-duesseldorf.de |
| Stability | experimental |
| Portability | GHC-only |
| Safe Haskell | None |
| Language | Haskell2010 |
CSPM.LTS.MkLtsPar
Description
Compute the labled transition system of a process.