The above examples demonstrate the compositionalsemantics of CSP — namely how the Parallel construct can be used to compose layered networks from fine-grained stateless components.
以上示例演示了CSP的复合语言——即如何用Parallel构造把细致的无状态的组件组成分层的网络。
2
Event structures are important true concurrent models and are well-suited to provide a true concurrent semantics for process algebra in a compositional way.