compositional semantics
常见例句
- Event structures are important true concurrent models and are well-suited to provide a true concurrent semantics for process algebra in a compositional way.
事件结构是一种十分重要的真并发模型，非常适合于为进程代数提供一种具有可组合性的真并发语义。 - 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 构造把细致的无状态的组件组成分层的网络。 返回 compositional semantics