机译:高阶并发的一阶推理
Trinity College Dublin, Dublin, Ireland;
Trinity College Dublin, Dublin, Ireland;
higher-order concurrency; bisimulation; hennessy-milner logic;
机译:并发高阶命令式程序的模块化推理
机译:高阶并发逻辑中的统一细化和Hoare风格推理
机译:案例推理在并行产品开发(并行工程)决策中的应用
机译:将高阶并发程序汇编成递归图形重写模型的一阶程序
机译:具有大理论的一级推理的抽象精炼框架
机译:高阶丘脑继电器比一阶继电器爆裂更多
机译:高阶并发的一阶推理
机译:一阶处理高阶边界层效应与二阶理论和实验数据的比较