CSPM-Interpreter (hackage): This package contains an interpreter for CSPM and instance declarations that implement the interface defined in the package CSPM-CoreLanguage. The operational semantics of core-CSP is defined in the CSPM-FiringRules package.
Keywords: bsd3|concurrency|formal-methods|language|library