个特征叫做越位规则，也能在其他语言比如Haskell和Python中见到。occam有指令式语言的基本要素和常规构造：变量，数据类型，表达式，条件构造codice_1，选择构造codice_2，重复构造codice_3，作为命名进程的过程，和作为值过程的函数，过程不可以递归。在进程之间的通信使用命名的通道完成的。通道是有类型的，定义了两个进程间的通信协议，可以作为参数传递给过程，可以建立通道的阵列。一个进程通过codice_4向一个通道输出数据，而另一个进程用codice_5从它输入数据。输入和输出不能