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