Control.Concurrent.CHPSpec.Alt

A module containing the choice constructs. See http://chplib.wordpress.com/2010/04/20/automatic-model-generation-part-3-choice-and-io/ for details of how choice is modelled.

Currently conjunction is not modelled (mainly because CSP/FDR don't support it), but external choice is modelled fine; priAlt is modelled as a plain alt, though.

Documentation

alt :: [CHP a] -> CHP a

(<->) :: CHP a -> CHP a -> CHP a

priAlt :: [CHP a] -> CHP a

(</>) :: CHP a -> CHP a -> CHP a