Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Compute the labled transition system of a process. Uses depth first search and runs in the IO-Monad. A Timeout can be set and the function can return a partial LTS
Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Compute the labled transition system of a process. Uses depth first search and runs in the IO-Monad. A Timeout can be set and the function can return a partial LTS