Simon Fraser University Canada;
机译:度量语义简介:用于编程和规范语言的操作模型和指称模型
机译:基于代理的语言建模本体的扩展命题,用于表示供应链集成业务流程
机译:基于代理的语言建模本体的扩展命题,用于表示供应链系统中人为驱动的协作
机译:稳定模型语义的合理延伸到完全命题语言
机译:命题和事件的语言:名词化的语法和语义上的问题。
机译:用于将面向对象的模型映射到语义Web语言的语义框架
机译:使用语法软件语言来定义建模语言的操作语义
机译:用递归和并发关系编程语言的指称和操作语义