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.Field

Description

This module defines the class BF for versions of CSP that also support multi-field-events and event-closure sets.

Documentation

type family Field i Source

type family FieldSet i Source

type family ClosureState i Source

type family PrefixState i Source