compositional semantics

常見(jiàn)例句

Event structures are important true concurrent models and are well-suited to provide a true concurrent semantics for process algebra in a compositional way.
事件結(jié)構(gòu)是一種十分重要的真并發(fā)模型，非常適合于為進(jìn)程代數(shù)提供一種具有可組合性的真并發(fā)語(yǔ)義。
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 的復(fù)合語(yǔ)言 —— 即如何用 Parallel 構(gòu)造把細(xì)致的無(wú)狀態(tài)的組件組成分層的網(wǎng)絡(luò)。