Relaxed memory consistency model; Concurrent program logic; Rely/guarantee method; Observation; Independent Reads Independent Writes;
机译:CheckFence:检查宽松内存模型上并发数据类型的一致性
机译:轻松分离逻辑:C11并发的程序逻辑
机译:建模柔性制造系统:并发逻辑编程方法
机译:基于观察的并发程序逻辑,用于放松内存一致性模型
机译:用于并行计算的共享数据空间方法:Swarm编程模型,符号和逻辑。
机译:使用约束逻辑程序协调当前使用的临床实践指南对
机译:在宽松的内存模型上测试并发程序