Как преобразовать некоторые определения CCS (исчисление коммуникационной системы) в реальный код Erlang?

Question

У меня есть некоторые определения CCS (исчисление систем связи), которые представляют реакцию горения угарного газа:

2CO + O2 = 2CO2

Определение CCS:

слова в верхнем регистре, такие как CO, O2, C и O, представляют процессы в CCS, они взаимодействуют с другими (представляют реакцию) и эволюционируют в некоторые другие процессы. слова в нижнем регистре, такие как c, o, являются действиями, они представляют данные, передаваемые между процессами.

Теперь мой вопрос: как написать код Erlang для реализации этого определения?

1. В erlang процесс должен знать, с каким процессом он будет взаимодействовать, модель ccs только говорит, что такие возможности могут быть, но как мне использовать erlang, чтобы определить, с каким и каким процессом следует взаимодействовать?
2. один процесс должен перерасти в другой процесс (например, CO становится CO2), как в Эрланге я должен выражать такую ​​процедуру?
3. В одно и то же время может быть много разных процессов. Нужен ли мне один единственный процесс для координации этих процессов, чтобы они разумно реагировали?