机译:轻松分离逻辑:C11并发的程序逻辑
Concurrency; Weak memory models; C/C++; Proof system; Separation logic;
机译:轻松分离逻辑:C11并发的程序逻辑
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:关于并行分离逻辑与并行Kleene代数的关系
机译:松弛内存一致性模型的基于观察的并发程序逻辑
机译:并发和非并发逻辑程序的高级Petri网语义。
机译:在并发分离逻辑中推理权限区域
机译:Steelcore:有效的依赖性键入程序的可扩展并发分离逻辑