An interpreter for CSPM.

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.

CSPM-Interpreter

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.

Haddock documentation.