ICE-TCS, School of Computer Science, Reykjavik University, Iceland,Abel Extraordinary Chair, Universidad Complutense-Reykjavik University;
Departamento de Sistemas Informaticos y Computacion, Universidad Complutense de Madrid, Spain,Abel Extraordinary Chair, Universidad Complutense-Reykjavik University;
Departamento de Sistemas Informaticos y Computacion, Universidad Complutense de Madrid, Spain,Abel Extraordinary Chair, Universidad Complutense-Reykjavik University;
ICE-TCS, School of Computer Science, Reykjavik University, Iceland,Abel Extraordinary Chair, Universidad Complutense-Reykjavik University;
机译:在BCCSP上公理化弱仿真语义
机译:即使使用单例字母,完整且就绪的仿真语义也不是基于BCCSP的有限关系
机译:在CLLR中公理化Luttgen&Vogler的有限过程的现成仿真
机译:通过BCCSP公理弱现实仿真语义
机译:流体动力模拟的弱引力透镜剪切和放大分析与弱镜头数据的应用
机译:健康的右撇子儿童语义语言偏向性较弱语义语言性能更好
机译:在BCCSP上公理化弱就绪仿真语义
机译:逻辑数据库中被动和主动更新的公理化,声明语义和操作语义