Communicating Sequential Processes
The CSP module provides a new class of thread, called a
CSP-thread
, the channel class and several syntactic extensions. These extension are detailed below.
Subsections
Channels
Bindings