Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Safe Haskell | Safe-Infered |
Search the state-space of a CSPM process for deadlock states
Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Safe Haskell | Safe-Infered |
Search the state-space of a CSPM process for deadlock states