behavioral semantics; concurrency theory; coordination; heterogeneous modeling; model of computation; simulation;
机译:领域特定建模语言的行为语义的组合规范
机译:语义记忆协会,程序语法和句法情态协调作为三个交互式神经过程组织语言:模型。
机译:第21届协调模型和语言会议的工具论文特别问题的序言,协调2019年
机译:模拟异构语言的行为语义及其协调
机译:并发对象协调语言:语义和应用程序。
机译:用于将面向对象的模型映射到语义Web语言的语义框架
机译:异构语言的行为语义建模及其协调