@hackage CSPM-CoreLanguage0.1.0.2
Definition of a FDR-compatible CSP core-language.
Categories
License
BSD-3-Clause
Maintainer
Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
Installation
Dependencies (1)
Dependents (4)
@hackage/CSPM-cspm, @hackage/acme-everything, @hackage/CSPM-FiringRules, @hackage/CSPM-Interpreter
This package contains an interface for a CSP core-language. It defines processes, events, event sets, a EDSL for process operations like parallel or interleaving. This interface can be used to implement a FDR-2.83 compatible CSPM animator. We use this interface in our tool to connect the functional CSPM-sub-language with core CSP functionality.