actor model; Compositional semantics; Rebeca; Reo; Constraint Automata;
机译:领域特定建模语言的行为语义的组合规范
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:基于成分自动机的语义和保留转换规则以测试属性模式
机译:使用约束自动机的演员语言的组成语义
机译:自然语言推理中的组合词法语义学。
机译:慢性失语症的约束诱导强化语言行动疗法后右半球激活的变化:听觉语义加工的功能磁共振成像证据
机译:使用约束自动机的基于actor的语言的组合语义
机译:架构,语言和非组合约束