@hackage CSPM-cspm0.3.0.0

cspm is a small command line tool for analyzing CSPM specifications. It supports four modes of operation: 1) cspm eval -> evaluate an expression. 2) cspm trace -> interactively trace a process. 3) cspm dot -> compute the labeled transition system of a process and dump it as dot-file. 4) cspm fdr -> compute the LTS and dump it a fdr script suitable for refinement checking. cspm is not a full featured FDR replacement. The main purpose of cspm is to show how the different CSPM-packages work together. LTS computation can demonstrate nice speed-ups on multi-core machines (if the LTS contains enough branching).