...specification, verification, compositional semantics, partial order [gap=166]关键词：时序逻辑，规范，验证，组合语义学，偏序 ...
基于60个网页-相关网页
... 成分语义学 compositional semantics 程序语义学 program semantics 词汇语义学 lexical semantics ...
基于26个网页-相关网页
正是在这个基点上，弗雷格的语义学又可以叫做构造语义学(compositional semantics)，其核心就在于，强调用具有最丰富内涵的经验理论对语句及其意义进行分析。
基于12个网页-相关网页
此外, Moilanen 等人 [17] 和 Choi 等人 [18] 提出了组合语义单元(compositional semantics)的概念.组合语义单元表现为一 组词,通过相互作用来表达某种情感倾向性.
基于8个网页-相关网页
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.
事件结构是一种十分重要的真并发模型，非常适合于为进程代数提供一种具有可组合性的真并发语义。
应用推荐