У меня есть некоторые определения CCS (исчисление систем связи), которые представляют реакцию горения угарного газа:
2CO + O2 = 2CO2
Определение CCS:
слова в верхнем регистре, такие как CO, O2, C и O, представляют процессы в CCS, они общаются с другими (представляют реакцию) и эволюционируют в некоторые другие процессы.
слова в нижнем регистре, такие как c, o являются действиями, они представляют данные, передаваемые между процессами.
Теперь мой вопрос: как написать код Erlang для реализации этого определения?
- В erlang процесс должен знать, с каким процессом он будет взаимодействовать, модель ccs только сообщает, что такие возможности могут быть, но как мне использовать erlang, чтобы определить, с каким процессом и с каким взаимодействовать?
- один процесс должен эволюционировать в другой процесс (например, CO превращается в CO2), как в Эрланге я должен выражать такую процедуру?
- Может быть много разных процессов одновременно, мне нужен один единственный процесс, чтобы координировать эти процессы, чтобы они разумно реагировали?