Handel-C

为了设立一种描述并行行为的方式，使用了一些CSP关键字，还有Occam的通用文档结构。

例如[1]：

par {    
     ++c;
     a = d + e;
     b = d + e;
}

信道提供了在并行线程之间的消息传递机制。信道可以定义为异步的或同步的（分别有和没有缓冲区存储）。一个线程写一个同步信道会被立即阻塞，直到对应的监听线程准备好接收这个消息。类似的接收线程将阻塞在读语句上，直到发送线程执行了下一个发送。因此它们可以用作同步线程的方式[1]。例如：

par {
    chan int a; // 声明一个同步信道
    int x;

    // 开始发送线程
    seq (i = 0; i < 10; i++) {
        a ! i;  // 向信道顺序的发送0到9
    }

    // 开始接收线程
    seq (j = 0; j < 10; j++) {
        a ? x;  // 进行10次从信道读入变量x
        delay;  // 在连续读取之间介入1个时钟周期的延迟
                // 这有阻塞在写入之间的发送线程的效果
    }
}

异步信道提供了特定数量的存储，通过它们以FIFO的形式进行数据传递。在这个FIFO既不充满又不空无的时候，发送和接收线程二者可以不被阻塞的进行。但是，在FIFO是空无的时候，接收线程将被阻塞于下次读取之时。当它是充满的时候，发送线程将被阻塞于下次发送之时。有着差异的时钟域参与者的信道是自动异步的，因为需要至少一个存储元素来缓和亚稳定性。

一个线程可以同时等待多个信道，同步的或异步的，作用于给定优先级的特定次序下的第一个可用者之上，或者在都没有准备好的情况下可选的执行一个可替代的路径。