@hackage CSPM-Interpreter0.7.1.0
An interpreter for CSPM
Categories
License
BSD-3-Clause
Maintainer
Marc Fontaine <Marc.Fontaine@gmx.de>
Links
Versions
Installation
Dependencies (8)
- CSPM-CoreLanguage >=0.3 && <0.4
- CSPM-Frontend >=0.12 && <0.13
- array >=0.5 && <0.6
- base >=4.0 && <5.0
- containers >=0.5 && <0.6
- mtl >=2.2 && <2.3 Show all…
Dependents (2)
@hackage/CSPM-cspm, @hackage/acme-everything
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.