开发理论CSPCommunicating sequential processes 基于 channel 的消息传递通讯模式 参考 wiki Communicating sequential processes - 循序通讯进程