CSPM-CoreLanguage-0.3.0.0: Definition of a FDR-compatible CSP core-language.

PortabilityGHC-only
Stabilityexperimental
Maintainerfontaine@cs.uni-duesseldorf.de

CSPM.CoreLanguage.ProcessWrapper

Description

Wrappers for the constructors of data type Process and some rewriting rules for replicated operations.

This can also be used an EDSL for CSP.

Documentation