sameChannel | Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP |
sameReduceChannel | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP |
Shared | Control.Concurrent.CHP.Channels.Ends, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP |
SingleEvent | Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces |
skip | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
stop | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
StructuralParallel | Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces |
StructuralSequence | Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces |
structuralToCSP | Control.Concurrent.CHP.Traces |
structuralToVCR | Control.Concurrent.CHP.Traces |
StructuralTrace | |
1 (Type/Class) | Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces |
2 (Data Constructor) | Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces |
subProcess | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
syncAndWaitForPhase | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
syncBarrier | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |