机译:SMoLCS方法中并发语言的直接语义
机译:跨语言的语义和翻译启动方面的差异:语言方向和语言优势的作用
机译:不完整且不确定的信息系统:描述符语言的面向对象语义
机译:设计具有并发性的广谱语言的语义模型
机译:以连续传递方式设计的并发语言的度量语义
机译:并发系统和语言的静态和动态形式分析:一种基于语义的方法。
机译:信任与不信任作为语言的产物:研究其语言相关性的潜在语义方法
机译:并发系统和语言的静态和动态形式分析:基于语义的方法
机译:用递归和并发关系编程语言的指称和操作语义