机译:迈向高阶过程计算的双仿真理论
Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080 P.R. China;
higher-order process; labelled transition semantics; barbed bisimulation; context-bisimulation;
机译:迈向高阶过程计算的双仿真理论
机译:概率过程计算的组合双仿真度量推理
机译:概率过程计算的组合双仿真度量推理
机译:关联双模拟的煤代数概念及其在名称传递过程计算中的应用(扩展摘要)
机译:LAMBDA-NU-CS转换的计算:指令式高阶编程语言中控制和状态的句法理论。
机译:新兴和成年早期心理处理的基本和高级认知和情感理论的电生理相关性—基于事件线索的探索性事件相关电位研究心理处理的一阶二阶和三阶理论
机译:高阶过程计算的双仿真