IMDEA Software Institute;
concurrency; verification; local reasoning; rely-guarantee thinking; dependent type theory;
机译:粗粒度并发的主观辅助状态
机译:针对静态和动态信息的并发参数化导致更强大的粗粒度力场
机译:地球系统建模中的粗粒度组件并发:使用“灵活建模系统”耦合框架并行化GFDL AM3模型中的大气辐射传输
机译:粗粒粗糙度并发的主观辅助状态
机译:用于自平衡B树的粗粒,细粒度和无锁的并发方法
机译:肠道菌群作为失眠症辅助诊断的主观测量
机译:粗粒粗糙度并发的主观辅助状态