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

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

CSPM.CoreLanguage

Description

Just re-exports.

Documentation