...
机译:基于并发垃圾收集器示例调查依赖关系/保证关系的限制
Newcastle Univ, Sch Comp Sci, Newcastle Upon Tyne, Tyne & Wear, England;
Newcastle Univ, Sch Comp Sci, Newcastle Upon Tyne, Tyne & Wear, England|De Montfort Univ, Sch Comp Sci & Informat, Leicester, Leics, England;
Concurrency; Compositional methods; Rely-guarantee; Auxiliary; ghost variable;
机译:根据并发垃圾收集器示例调查依赖/保证关系的限制
机译:使用Re-Guarantee方法验证并行垃圾收集器
机译:使用符合保证方法验证并发垃圾收集器
机译:使用依赖保证方法验证并发垃圾收集器
机译:Java的多线程并发世代垃圾收集器。
机译:基于无锁的多核并发垃圾收集器的研究
机译:使用Re-Guarantee方法验证并行垃圾收集器
机译:关于并行计划的推理:完善保证思维。