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

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

CSPM.CoreLanguage.ProcessWrapper

Description

Wrappers for the constructors of data type Process and some rewriting rules for replicated operations.

This can also be used as EDSL for CSP.

Documentation

prefix :: Prefix i -> Process iSource

externalChoice :: Process i -> Process i -> Process iSource

internalChoice :: Process i -> Process i -> Process iSource

interleave :: Process i -> Process i -> Process iSource

interrupt :: Process i -> Process i -> Process iSource

timeout :: Process i -> Process i -> Process iSource

sharing :: Process i -> EventSet i -> Process i -> Process iSource

aparallel :: EventSet i -> EventSet i -> Process i -> Process i -> Process iSource

seq :: Process i -> Process i -> Process iSource

hide :: EventSet i -> Process i -> Process iSource

stop :: Process iSource

skip :: Process iSource

switchedOff :: ExtProcess i -> Process iSource

renaming :: RenamingRelation i -> Process i -> Process iSource

linkParallel :: RenamingRelation i -> Process i -> Process i -> Process iSource

repSeq :: [Process i] -> Process iSource

repInternalChoice :: [Process i] -> Process iSource

repExternalChoice :: [Process i] -> Process iSource

repInterleave :: [Process i] -> Process iSource

repAParallel :: [(EventSet i, Process i)] -> Process iSource

repSharing :: EventSet i -> [Process i] -> Process iSource

repLinkParallel :: RenamingRelation i -> [Process i] -> Process iSource

chaos :: EventSet i -> Process iSource