separation logic. concurrent abstract predicates; concurrency; futures;
机译:确定性并行的模块化推理
机译:具有动态控制的确定性Lindenmayer系统并行控制
机译:基于BITPLASSPLATION的安全模式匹配:非确定性字符串匹配自动数据评估的非交互式协议
机译:确定性并行的模块化推理
机译:具有并行性,模块化和冗余性的机械手运动学:分析和设计。
机译:复杂样品的纯化:模块化和可重构的基于液滴的微流控平台的实现,该平台具有级联确定性横向位移分离模块
机译:确定性并行性的模块推理