| Copyright | (c) Fontaine 2009 - 2011 |
|---|---|
| License | BSD |
| Maintainer | Fontaine@cs.uni-duesseldorf.de |
| Stability | experimental |
| Portability | GHC-only dump a Lts as Csp-Specifications suitable for FDR-refinementcheck |
| Safe Haskell | None |
| Language | Haskell2010 |
CSPM.LTS.ToCsp
Description