机译:抽象概念的语义内容:296个抽象词的属性列表研究
机译:基于类层次结构的面向对象概念的操作语义
机译:键化广义草图的变量集语义:用于对象标识的形式语义和用于概念建模的抽象语法
机译:转向Z中的并发系统规范,引用真正的并发语义(扩展摘要)
机译:研究抽象概念的语义:来自属性生成游戏的证据。
机译:抽象概念的语义内容:296个抽象词的属性列表研究
机译:修正一些并发的面向对象概念的语义Cliff B. Jones http://www.elsevier.nl/locate/entcs/volume1/cliff2
机译:具有同步和递归的真正并发的pomset语义(扩展摘要)