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

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

CSPM.CoreLanguage.Process

Description

This modules defines a FDR-compatible CSP core language. The core language deals with CSP related constructs like processes and events, but abstracts, e.g. from the underlying functional programming language.

The implementation of the underlying language must provide instances for the type families Prefix and ExtProcess and class BL.

Synopsis

Documentation

type family Prefix i Source

A prefix expression.

type family ExtProcess i Source

A process that has not yet been switched on.

class BE i => BL i whereSource

Methods

prefixNext :: Prefix i -> Event i -> Maybe (Process i)Source

Try to perform an Event return the successor Process or Nothing if the event is not possible.

switchOn :: ExtProcess i -> Process iSource

data Process i Source

A data type for CSPM processes. For efficiency, replicated alphabetized parallel has an explicit constructor. Other replicated operations get translated on the fly. For constructing processes one should rather uses the wrappers from CSPM.CoreLanguage.ProcessWrappers.