Department of Computer Science, University of Sheffield, UK;
机译:混合语义组成的反应系统组成基于组件的设计
机译:相对子句中的染色管道:使用同步树邻接语法的语法和组合语义
机译:基于组件的组合网络仿真环境的设计,实现和评估
机译:基于同步分量的设计的组成语义理论
机译:用于网络仿真的基于组件的组合软件体系结构的设计,实现和评估。
机译:基于组件的管理系统构建的增量组合过程
机译:基于同步组件的设计的组合语义理论
机译:HOp :(作为对象和进程查看的硬件)同步硬件语义的过程模型和过程组合中的实验