CSPM.Compiler.Processes
Documentation
Constructors
| PAlphaParallel [(EventSet, Proc)] | |
| PException Proc EventSet Proc | |
| PExternalChoice [Proc] | |
| PGenParallel EventSet [Proc] | |
| PHide Proc EventSet | |
| PInternalChoice [Proc] | |
| PInterrupt Proc Proc | |
| PInterleave [Proc] | |
| PPrefix Event Proc | |
| PSequentialComp Proc Proc | |
| PSlidingChoice Proc Proc | |
| PProcCall ProcName (Maybe Proc) | PLinkParallel EventMap [Proc] | PRename EventMap Proc | POperator ProcOperator Proc where: data ProcOperator = Normalise | Explicate | StrongBisim | TauLoopFactor | Diamond | ModelCompress |
Instances