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

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de
Safe HaskellSafe-Infered

CSPM.LTS.MkLtsPar

Description

Compute the labled transition system of a process.

Synopsis

Documentation

mkLtsPar :: Sigma INT -> Process INT -> LTSSource

Compute the LTS of a Process using parallel strategies