https://123dok.net/document/yj776gky-operational-semantics-of-the-model-of-concurrency-and-communication-language.html