cspmchecker (hackage): The library FDR3 uses for parsing, type checking and evaluating machine CSP.
Keywords: bsd3|concurrency|program