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

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

CSPM.CoreLanguage.Field

Description

This modules extends BE for languages 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