Portability | GHC-only |
---|---|

Stability | experimental |

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

Search the state-space of a CSPM process for deadlock states

Portability | GHC-only |
---|---|

Stability | experimental |

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

Search the state-space of a CSPM process for deadlock states