Control.Concurrent.CHPSpec.Channels

The module containing all the different types of channels in CHP.

See http://chplib.wordpress.com/2010/04/22/automatic-model-generation-part-4-communication/ for details of modelling communication.

Channel Creation and Types

module Control.Concurrent.CHPSpec.Channels.Creation

Channel-Ends

module Control.Concurrent.CHPSpec.Channels.Ends

Reading and Writing with Channels

module Control.Concurrent.CHPSpec.Channels.Communication

Useful Type and Function Synonyms

module Control.Concurrent.CHPSpec.Channels.Synonyms