Copyright | (c) Fontaine 2011 |
---|---|

License | BSD3 |

Maintainer | Fontaine@cs.uni-duesseldorf.de |

Stability | experimental |

Portability | GHC-only |

Safe Haskell | None |

Language | Haskell2010 |

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