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

PortabilityGHC-only
Stabilityexperimental
Maintainerfontaine@cs.uni-duesseldorf.de
Safe HaskellSafe-Infered

CSPM.CoreLanguage

Description

Just re-exports.

Synopsis

Documentation

module CSPM.CoreLanguage.Process

module CSPM.CoreLanguage.ProcessWrapper

module CSPM.CoreLanguage.Event

module CSPM.CoreLanguage.Field

coreLanguageVersion :: VersionSource

The version of the CSPM-CoreLangugage library