CSPM.CoreLanguage.ProcessWrapper

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 i

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

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

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

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

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

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

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

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

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

stop :: Process i

skip :: Process i

switchedOff :: ExtProcess i -> Process i

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

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

repSeq :: [Process i] -> Process i

repInternalChoice :: [Process i] -> Process i

repExternalChoice :: [Process i] -> Process i

repInterleave :: [Process i] -> Process i

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

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

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

chaos :: EventSet i -> Process i