CSPM-cspm-0.8.1.0: cspm command line tool for analyzing CSPM specifications.

Copyright(c) Fontaine 2011
LicenseBSD
MaintainerFontaine@cs.uni-duesseldorf.de
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

CSPM.LTS.Deadlock

Description

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

Synopsis

Documentation

findDeadlock Source #

Arguments

:: Sigma INT

Sigma

-> Process INT

the Process

-> Maybe [Rule INT] 

Search the statespace of a process for deadlock states. returns the shortes trace to a deadlock.