Documentation
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 |