The above examples demonstrate the compositional semantics of CSP — namely how the Parallel construct can be used to compose layered networks from fine-grained stateless components.
以上示例演示了CSP的复合语言——即如何用Parallel构造把细致的无状态的组件组成分层的网络。
Event structures are important true concurrent models and are well-suited to provide a true concurrent semantics for process algebra in a compositional way.
事件结构是一种十分重要的真并发模型，非常适合于为进程代数提供一种具有可组合性的真并发语义。
应用推荐