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

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de

CSPM.LTS.Utils

Description

Compute the labled transition system of a process.