如何将某些CCS（通信系统演算）定义转换为实际的Erlang代码？

Question

我有一些CCS（通信系统演算）定义，它们代表一氧化碳的燃烧反应：

2CO + O2 = 2CO2

CCS定义：

大写的CO，O2，C和O之类的词表示CCS中的过程，它们与其他人沟通（代表反应）并演变成其他过程。 小写的单词（如c，o）是动作，它们表示在进程之间传输的数据。

现在我的问题是：如何编写Erlang代码来实现此定义？

1. 在erlang中，一个进程必须知道要与哪个进程进行通信，ccs模型仅告知可能存在这种可能性，但是我应该如何使用erlang来确定要与哪个进程进行通信？
2. 一个过程需要演变为另一个过程（例如CO变成CO2），在Erlang中我应该如何表达这样的过程？
3. 可能同时存在很多不同的流程，我是否需要一个流程来协调这些流程以使它们做出合理的反应？